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

Answer 2

Для того чтобы найти КНФ (конъюнктивную нормальную форму) выражения z → (x → y), нам нужно сначала преобразовать данное выражение в более простые логические операции, а затем привести его к КНФ.

Используя законы логики, мы можем преобразовать выражение z → (x → y) следующим образом:

z → (x → y) = ¬z ∨ (¬x ∨ y)

Теперь мы можем представить это выражение в КНФ, разбив его на конъюнкции:

(¬z ∨ ¬x ∨ y)

Таким образом, КНФ выражения z → (x → y) равна (¬z ∨ ¬x ∨ y).