Логические законы и правила преобразования логических выражений. - презентация

1 Логические законы и правила преобразования логических выражений

2 Закон двойного отрицания Двойное отрицание исключает отрицание

3 Переместительный (коммутативный) закон Для логического сложения: Для логического умножения:

4 Сочетательный (ассоциативный) закон Для логического сложения: Для логического умножения: При одинаковых знаках скобки можно ставить произвольно или вообще опускать, как в обычной алгебре

5 Распределительный (дистрибутивный) закон Для логического сложения: Для логического умножения:

6 Закон общей инверсии ( законы де Моргана) Для логического сложения: Для логического умножения:

7 Закон идемпотентности (равносильности) Для логического сложения: Для логического умножения: Закон означает отсутствие показателей степени

8 Закон исключения констант Для логического сложения: Для логического умножения:

9 Закон противоречия Невозможно, чтобы противоречащие высказывания были одновременно истинными.

10 Закон исключения третьего Из двух противоречащих высказываний об одном и том же предмете одно всегда истинно, а второе ложно, третьего не дано.

11 Закон поглощения Для логического сложения: Для логического умножения:

12 Закон исключения (склеивания) Для логического сложения: Для логического умножения:

13 Пример По заданной логической функции построить логическую схему.

14 Построение необходимо начинать с логической операции, которая должна выполняться последней. Т.к. в данном случае такой операцией является логическое сложение, то на выходе логической схемы должен стоять дизъюнктор.

15 Пример Найдите X, если По закону де Моргана

16 Пример Упростите логическое выражение Правильность упрощения проверьте с помощью таблиц истинности для исходного и полученного логического выражения.

17 Согласно закону общей инверсии для логического сложения (первому закону Моргана) и закону двойного отрицания: Согласно распределительному (дистрибутивному) закону для логического сложения:

18 Согласно закону противоречия: Согласно закону идемпотентности: Подставляя значения и, используя переместительный (коммутативный) закон и группируя слагаемые, получаем:

19 Согласно закону исключения (склеивания) получаем: Подставляем значения и получаем: Согласно закону исключения констант для логического сложения и закона идемпотентности получаем:

20 Подставляем значения и получаем: Согласно распределительному (дистрибутивному) закону для логического умножения получается: Согласно закону исключения третьего:

21 Окончательно получаем: