Найти КНФ: z → (x → y)

Question

Найти КНФ:
z → (x → y)

Answer 1

!((X+!Y)=>(Z!X))
!(!(X+!Y)+Z!X)
!(!XY+Z!X)
!(!XY)!(Z!X)
(X+!Y)(!Z+X)
(X+!Y)!Z+(X+!Y)X
X!Z+!Y!Z+X+X!Y
!Y!Z+X - ДНФ
Или в твоей записи ¬Y¬ZvX