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