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

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