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