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