(x → ¬y)≡(z v y) (¬x v ¬y)≡(z v y) По закону преобразования эквиваленции избавляемся от эквиваленции: (¬x v ¬y) ˄ (z v y) ˅ ¬(¬x v ¬y) ˄ ¬(z v y) По закону де Моргана раскрываем скобки: (¬x v ¬y) ˄ (z v y) ˅ x ˄ y ˄ ¬z ˄ ¬y y ˄ ¬y всегда равно 0 по закону противоречия, убираем: (¬x v ¬y) ˄ (z v y) ˅ x ˄ ¬z ˄ 0 Выражение x ˄ ¬z ˄ 0 будет всегда ложным, то есть записываем как 0: (¬x v ¬y) ˄ (z v y) ˅ 0 Раскрываем скобки: ¬x˄z v ¬x˄y v ¬y˄z v ¬y˄y ˅ 0 Выражение ¬y˄y, заменяем нулем: ¬x˄z v ¬x˄y v ¬y˄z v 0 ˅ 0 Нули можем убрать: ¬x˄z v ¬x˄y v ¬y˄z По закону расширения выражение ¬x˄z v ¬x˄y v ¬y˄z можно записать как ¬x˄y v ¬y˄z Закон расширения вообще очень не простой, хотя и подобные преобразования в ЕГЭ не нужны.
| 
