Важнейшие равносильности алгебры логики. 1. Закон двойного отрицания 2. Коммутативность конъюнкции (X*Y=Y*X) 3. Коммутативность дизъюнкции (X+Y=Y+X) - презентация

1 Важнейшие равносильности алгебры логики

2 1. Закон двойного отрицания 2. Коммутативность конъюнкции (X*Y=Y*X) 3. Коммутативность дизъюнкции (X+Y=Y+X)

3 4. Ассоциативность конъюнкции X*(Y*Z)=(X*Y)*Z 5. Ассоциативность дизъюнкции X+(Y+Z)=(X+Y)+Z

4 6. Дистрибутивность конъюнкции относительно дизъюнкции X*(Y+Z)=(X*Y)+X*Z 7. Д истрибутивность дизъюнкции относительно конъюнкции

5 8. Законы общей инверсии (Законы де Моргана)

6 9. Законы идемпотентности (равносильности)

7 10. Законы исключения констант

8 11. Закон непротиворечия 12. Закон исключенного третьего

9 13. Законы поглощения 1. 2.

10 14. Законы расщепления (исключения) 1. 2.

11 15. Законы контрапозиции (правило перевертывания) 1. 2.

12 16. Закон исключения импликации 17. Закон исключения эквиваленции