ЕН Елена Носикова Навесить двойное отрицание раскрыть, напрмер: (\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)