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