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