5. Основные свойства булевых функций
Пользуясь табл. 2, легко убедиться в справедливости следующих свойств булевых функций.
1. Для операций конъюнкции, дизъюнкции и равнозначности справедлив закон коммутативности
2. Для операций конъюнкции, дизъюнкции и равнозначности справедлив закон ассоциативности
3. Для конъюнкции и дизъюнкции справедливы следующие законы (законы идемпотентности)
4. Для дистрибутивности конъюнкции относительно дизъюнкции и дистрибутивности дизъюнкции относительно конъюнкции справедливы законы
5. Для операций с константами справедливы законы
6. Закон двойного отрицания
7. Закон логического противоречия
(«Суждение X и его отрицание одновременно — ложь»).
8. Закон исключенного третьего
9. Правила де Моргана