Здравствуйте, svitalij1983!
Доказательство в прямом порядке можно выполнить так:
[$172$]((X[$8594$]Y)[$8744$]([$172$]Y[$8594$]Z))[$8801$]
(по закону де Моргана)
[$8801$](X[$8594$]Y)[$8743$]([$172$]([$172$]Y[$8594$]Z))[$8801$]
(замена импликации дизъюнкцией)
[$8801$]([$172$]([$172$]VY))[$8743$]([$172$]([$172$][$172$]Y[$8744$]Z))[$8801$]
(по закону двойного отрицания)
[$8801$]([$172$]([$172$]X[$8744$]Y))[$8743$]([$172$](Y[$8744$]Z))[$8801$]
(по закону де Моргана)
([$172$]X[$8744$][$172$]Y)[$8743$]([$172$]Y[$8744$][$172$]Z)[$8801$]
(по закону двойного отрицания)
[$8801$](X[$8743$][$172$]Y)[$8743$]([$172$]Y[$8743$][$172$]Z)[$8801$]
(по закону ассоциативности конъюнкции)
[$8801$]X[$8743$][$172$]Y[$8743$][$172$]Y[$8743$][$172$]Z[$8801$]
(по закону идемпотентности конъюнкции)
[$8801$]X[$8743$][$172$]Y[$8743$][$172$]Z[$8801$]
(по закону ассоциативности конъюнкции)
[$8801$](X[$8743$][$172$]Y)[$8743$][$172$]Z.
В результате тождественных преобразований из левой части выражения получена правая часть.
Доказательство в обратном порядке можно выполнить, применив указанные преобразования "снизу вверх".
Об авторе:
Facta loquuntur.