Система равносильных преобразований

Существует следующая система основных тождеств булевой алгебры:

1. правило двойного отрицания

2. коммутативность конъюнкции

3. и дизъюнкции

4. ассоциативность конъ-

5. юнкции и дизъюнкции

6. первый и второй закон

7. дистрибутивности

8. идемпотентность конъюнкции

9. идемпотентность дизъюнкции

10. законы

11. де Моргана

12. обобщение законов

13. . де Моргана, где А выражение

Существуют такие 1 и 0, что и

14. a + 1 = 1

15. a × 1 = a операции с константами

16. a + 0 = a

17. a × 0 = 0

18. действия с

19. дополнениями

20. законы

21. поглощения

22.

23.

24.