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

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

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

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

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

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

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

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

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

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

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

10. законы

11. де Моргана

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

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

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

a+ 1 = 1

a1 = 1 операции с константами

a+ 0 =a

a0 = 0

13. действия с

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

15. законы

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

17.

18.

19.