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