Законы алгебры логики

Ключом к решению примеров на равносильные преобразования и упрощение формул являются основные равносильности булевой алгебры. Успешное решение примеров зависит от умелого, эффективного применения следующих равносильностей:

1) закон двойного отрицания

 

2)

3) законы нуля и единицы

4)

 

5)

6) законы коммутативности

7)

 

8) законы ассоциативности

9)

 

10) законы дистрибутивности

11)

 

12) законы идемпотентности

13)

 

14) закон противоречия

 

15) закон исключенного третьего

 

16) законы поглощения

17)

 

18) законы де Моргана

19)

 

20)

21)