Логические функции
F(x 1, x 2, …, x n ) – сложное логическое выражение. Логическая функция Аргументы функции – x 1, x 2, …, x n – простые логические выражения (логические переменные). Сама функция и её аргументы могут принимать значения «ложь» (0) или «истина» (1).
F (A, B)= A&B F (A, B)= A B F (A)= A Базовые логические функции
Таблицы истинности логических функций двух аргументов Аргу- мен- ты Логические функции AB F1F1 F2F2 F3F3 F4F4 F5F5 F6F6 F7F7 F8F8 F9F9 F10F10 F 11 F 12 F 13 F14F14 F 15 F16F
F 2 = A&B – конъюнкция F 8 = A B – дизъюнкция F 7 = A B – исключающее ИЛИ F 14 = A B – импликация F 10 = A B – эквивалентность F 13 = A – инверсия А F 11 = В – инверсия В
- это логические выражения, у которых последние столбцы таблиц истинности совпадают. Равносильные Пример A B = A B ABA BĀ Ā B
Все логические функции могут быть сведены путём логических преобразований к 3-м базовым: конъюнкции ( & ), дизъюнкции( ), инверсии ( ¯ ). Такая форма представления называется нормальной.