Здравствуйте, Martin!
Изменим обозначения конъюнкции и импликации и докажем, что
[$172$](([$172$]Z [$8658$] X) [$8743$] [$172$]([$172$]X [$8658$] [$172$]Y)) [$8801$] ((X [$8744$] [$172$]Y) [$8744$] [$172$]Z).
Имеет место следующее свойство, в справедливости которого можно убедиться при помощи таблицы истинности:
([$172$]Z [$8658$] X) [$8801$] [$172$]([$172$]Z [$8743$] [$172$]X),
а по закону де Моргана
[$172$]([$172$]Z [$8743$] [$172$]X) [$8801$] [$172$]([$172$](Z [$8744$] X)) [$8801$] (Z [$8744$] X).
Поэтому
([$172$]Z [$8658$] X) [$8801$] (Z [$8744$] X). (1)
Аналогично
[$172$]([$172$]X [$8658$] [$172$]Y) [$8801$] [$172$]([$172$]([$172$]X [$8743$] Y)) [$8801$] ([$172$]X [$8743$] Y). (2)
Из выражений (1) и (2) следует, что
(([$172$]Z [$8658$] X) [$8743$] [$172$]([$172$]X [$8658$] [$172$]Y)) [$8801$] ((Z [$8744$] X) [$8743$] ([$172$]X [$8743$] Y)) [$8801$] (((Z [$8744$] X) [$8743$] [$172$]X) [$8743$] ((Z [$8744$] X) [$8743$] Y)) [$8801$]
[$8801$] (((Z [$8743$] [$172$]X) [$8744$] (X [$8743$] [$172$]X)) [$8743$] ((Z [$8744$] X) [$8743$] Y)) [$8801$] ((Z [$8743$] [$172$]X) [$8743$] ((Z [$8744$] X) [$ [$8801$]8743$] Y)) [$8801$]
[$8801$] (((Z [$8743$] [$172$]X) [$8743$] (Z [$8744$] X)) [$8743$] ((Z [$8743$] [$172$]X) [$8743$] Y)) [$8801$]
[$8801$] (((Z [$8743$] [$172$]X [$8743$] Z) [$8744$] (Z [$8743$] [$172$]X [$8743$] X)) [$8743$] ((Z [$8743$] [$172$]X) [$8743$] Y)) [$8801$]
[$8801$] ((Z [$8743$] [$172$]X) [$8744$] 0) [$8743$] ((Z [$8743$] [$172$]X) [$8743$] Y)) [$8801$] ((Z [$8743$] [$172$]X) [$8743$] ((Z [$8743$] [$172$]X) [$8743$] Y)) [$8801$] ((Z [$8743$] [$172$]X) [$8743$] Y). (3)
Из выражения (3) получаем, что
[$172$](([$172$]Z [$8658$] X) [$8743$] [$172$]([$172$]X [$8658$] [$172$]Y)) [$8801$] [$172$]((Z [$8743$] [$172$]X) [$8743$] Y) [$8801$] [$172$](([$172$]X [$8743$] Y) [$8743$] Z) [$8801$]
[$8801$] ([$172$]([$172$]X [$8743$] Y) [$8744$] [$172$]Z) [$8801$] ((X [$8744$] [$172$]Y) [$8744$] [$172$]Z),
а это и требовалось доказать.
С уважением.
Об авторе:
Facta loquuntur.