Логическая функция — различия между версиями
Материал из ALL
м |
м |
||
Строка 15: | Строка 15: | ||
* Значения логической функции задаются с помощью [[Таблица истинности|таблицы истинности]] или определяются по формулам. | * Значения логической функции задаются с помощью [[Таблица истинности|таблицы истинности]] или определяются по формулам. | ||
* Логическая функция является [[предикат]]ом, определённым на множестве '''{0,1}'''. | * Логическая функция является [[предикат]]ом, определённым на множестве '''{0,1}'''. | ||
− | + | ||
− | + | К нормальным формам логической функции относятся: совершенная дизъюнктивная, совершенная конъюнктивная, минимальная дизъюнктивная, минимальная конъюнктивная, алгебраическая. | |
− | + | ||
− | + | ||
− | + | ||
− | + | ||
== Другие понятия: == | == Другие понятия: == | ||
{{Список ЛП}} | {{Список ЛП}} |
Версия 17:38, 1 ноября 2017
Логическая функция — это функция, аргументами которой являются только булевы переменные (принимающие значения из множества {0,1}) и которая на любом наборе значений этих аргументов принимает значения из множества {0,1}.
Содержание
Обозначения
Введём обозначения:
n – число аргументов функции;
(x1,x2,…,xn) – набор аргументов функции;
f(x1,x2,…,xn) – логическая функция.
Виды логических функций:
Одноместные (унарные) функции
Двухместные (бинарные) функции
- Значения логической функции задаются с помощью таблицы истинности или определяются по формулам.
- Логическая функция является предикатом, определённым на множестве {0,1}.
К нормальным формам логической функции относятся: совершенная дизъюнктивная, совершенная конъюнктивная, минимальная дизъюнктивная, минимальная конъюнктивная, алгебраическая.