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

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

Обозначения

Введём обозначения:

n – число аргументов функции;

(x₁,x₂,…,x_n) – набор аргументов функции;

f(x₁,x₂,…,x_n) – логическая функция.

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

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

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

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

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

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

Ссылки

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