Question

Преобразуйте данную формулу равносильным образом так, чтобы она содержала только операции отрицания и дизъюнкции:
(отрицание Х<->Y)->Z = ?
отрицание Х - это Х с черточкой наверху

Answer 1

(¬X ≡ Y) → Z

(X ⊕ Y) → Z

(¬X ∧ Y ∨ X ∧ ¬Y) → Z

(¬(X ∨ ¬Y) ∨ ¬(¬X ∨ Y)) → Z

¬(¬(X ∨ ¬Y) ∨ ¬(¬X ∨ Y)) ∨ Z