Главная > Математика > Геометрические приложения алгебры логики
<< Предыдущий параграф
Следующий параграф >>
<< Предыдущий параграф Следующий параграф >>
Макеты страниц

5. Основные свойства булевых функций

Пользуясь табл. 2, легко убедиться в справедливости следующих свойств булевых функций.

1. Для операций конъюнкции, дизъюнкции и равнозначности справедлив закон коммутативности

2. Для операций конъюнкции, дизъюнкции и равнозначности справедлив закон ассоциативности

(см. скан)

3. Для конъюнкции и дизъюнкции справедливы следующие законы (законы идемпотентности)

4. Для дистрибутивности конъюнкции относительно дизъюнкции и дистрибутивности дизъюнкции относительно конъюнкции справедливы законы

5. Для операций с константами справедливы законы

6. Закон двойного отрицания

7. Закон логического противоречия

(«Суждение X и его отрицание одновременно — ложь»).

8. Закон исключенного третьего

9. Правила де Моргана

<< Предыдущий параграф Следующий параграф >>
Оглавление