Презентация на тему по математической логике Упрощение формул алгебры логики

если на любых равных наборах переменных значения формул равны.
Обозначение:

Способы проверки:
Построение таблиц истинности
С помощью законов алгебры логики

с помощью таблиц истинности

и

законов [10] перейти к формуле, содержащей только дизъюнкцию, конъюнкцию

и отрицание.
Пользуясь законами [5] и [8] убрать все отрицания не выше, чем над переменными.
Раскрыть скобки, пользуясь законами [2,3].
Удалить лишние конъюнкции и повторения в конъюнкциях, используя законы [4-7,11].
Удалить константы с помощью законов [9].

помощью ТИ

Решение.

10

8

10

5,8




11
11