Основные законы математической логики

Законы математической логики

Закон относительно операции конъюнкции

Закон относительно операции дизъюнкции

Тавтология

mat 13 06

mat 13 07

Коммутативность

mat 13 08

mat 13 09

Ассоциативность

mat 13 10

mat 13 11

Дистрибутивность

mat 13 12

mat 13 13

Законы де Моргана

mat 13 14

mat 13 15

Законы поглощения

mat 13 16

mat 13 17

Операции с 0 и 1

mat 13 18

mat 13 19

Закон дополнительности

mat 13 22  mat 13 29

Закон склеивания

mat 13 24 mat 13 25

Закон ортогонализации

mat 13 26

Закон импликации

mat 13 27

Инверсия

mat 13 28

 

Пример.

Доказать с помощью таблиц истинности справедливость формул де Моргана mat 13 15

mat 13 30

Закон справедлив, так как совпадают столбцы истинности для формул x v у и х ∧ у.



1 1 1 1 1 1 1 1 1 1 Рейтинг 5.00 [1 Голос]

Поделитесь ссылкой с друзьями:


Подписываемся !!!

Комментарии:

comments powered by HyperComments

библиотеки Яндекс.Метрика