Логические функции F(x 1, x 2, …, x n ) – сложное логическое выражение. Логическая функция Аргументы функции – x 1, x 2, …, x n – простые логические. - презентация

1

2

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

4 F(x 1, x 2, …, x n ) – сложное логическое выражение. Логическая функция Аргументы функции – x 1, x 2, …, x n – простые логические выражения (логические переменные). Сама функция и её аргументы могут принимать значения «ложь» (0) или «истина» (1).

5 F (A, B)= A&B F (A, B)= A B F (A)= A Базовые логические функции

6 Таблицы истинности логических функций двух аргументов Аргу- мен- ты Логические функции AB F1F1 F2F2 F3F3 F4F4 F5F5 F6F6 F7F7 F8F8 F9F9 F10F10 F 11 F 12 F 13 F14F14 F 15 F16F

7 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 = В – инверсия В

8 - это логические выражения, у которых последние столбцы таблиц истинности совпадают. Равносильные Пример A B = A B ABA BĀ Ā B

9 Все логические функции могут быть сведены путём логических преобразований к 3-м базовым: конъюнкции ( & ), дизъюнкции( ), инверсии ( ¯ ). Такая форма представления называется нормальной.