| Законы математической логики | Закон относительно операции конъюнкции | Закон относительно операции дизъюнкции |
|---|---|---|
| Тавтология | ||
| Коммутативность | ||
| Ассоциативность | ||
| Дистрибутивность | ||
| Законы де Моргана | ||
| Законы поглощения | ||
| Операции с 0 и 1 | ||
| Закон дополнительности | ||
| Закон склеивания | ||
| Закон ортогонализации | ||
| Закон импликации | ||
| Инверсия | ||
Пример.
Доказать с помощью таблиц истинности справедливость формул де Моргана
Закон справедлив, так как совпадают столбцы истинности для формул x v у и х ∧ у.
