Логическая функция

Логическая функция — это функция, аргументами которой являются только булевы переменные (принимающие значения из множества {0,1}) и которая на любом наборе значений этих аргументов принимает значения из множества {0,1}.

Виды логических функций:

Одноместные (унарные) функции

Двухместные (бинарные) функции

• Значения логической функции задаются с помощью таблицы истинности или определяются по формулам.
• Логическая функция является предикатом, определённым на множестве {0,1}.

Нормальные формы логической функции:

• совершенная дизъюнктивная нормальная форма (СДНФ);
• совершенная конъюнктивная нормальная форма (СКНФ);
• минимальная дизъюнктивная нормальная форма (МДНФ);
• минимальная конъюнктивная нормальная форма (МКНФ).

Другие понятия:

• логический закон;
• логическая функция;
• таблица истинности;
• карта Карно;
• трёхмерная карта Карно.
• предикат;
• секвенции;
• силлогизм;
• суждение;
• умозаключение.

Ссылки

• Участник:Logic-samara