2015-01-21
460
Существует следующая система основных тождеств булевой алгебры:
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. 
