MS
Size: a a a
MS
R
MS
R
MS
R
R
MS
MS
R
R
R
hs
if (a || b) false else !c
if (!a && !b) true else !c
!a && !b && !c
(2) редуцируется до !a && !b || c
зная, что X && X = X
(3), получим(!a && !b || c) && (!a && !b && !c) =
!a && !b && !c || false
=
!a && !b && !c
т. е. (1) && (2) = (1), что удовлетворяет правилуAH
оГ
оГ
A
оГ
A