Ох
Охренеть
Привести к КНФ ДНФ (1,4,5 варианты)


Навесить двойное отрицание раскрыть, напрмер:
(\x v y)(\(xy) v (\yz) v x) = \\ (\x v y)(\(xy) v (\yz) v x) = \ (
\ (\x v y) v \ (\(xy) v (\yz) v x) ) =\( x\y xy\(\yz)x) = ( x\y xy\(\yz)x)
= x \(\yz)