12. Закон контрапозиции (правило перевертывания):
(А  В) = (B А).
Справедливость приведенных законов можно доказать табличным способом: выписать все наборы значений А и В, вычислить на них значения левой и правой частей доказываемого выражения и убедиться, что результирующие столбцы совпадут.
Пример 1. Найдите X, если  .
Для преобразования левой части равенства последовательно воспользуемся законом де Моргана для логического сложения и законом двойного отрицания:
( .
Согласно распределительному закону для логического сложения:
 .
Согласно закону исключения третьего и закона исключения констант:
 .
Полученную левую часть приравняем правой:
 .
Окончательно получим: X =  .
Достарыңызбен бөлісу: | 
