Способы доказательства логических выражений с использованием специальных приемов

Способ доказательства с использованием раскрытия Булевых операций их из определения и некоторых законов логики Буля.

1 пример. Доказать тождество

(a∩b∩c)→(a U b U c)=(a→b) U (b→c) U (c→a)

Доказательство: (a∩b∩c)→(a U b U c)=по определению операции импликации = = по закону де Моргана = = по определению импликации = ;

Доказательство:

Доказательство специального характера

Доказать, что если

Доказательство:

Доказательство и использованием “Умножения” слева и справа. На дополнительную импликанту.

Доказать закон де Моргана

умножим слева на (a U b):

умножим справа (a U b):