(¬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(¬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(¬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(¬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(¬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(¬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(¬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(¬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(¬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(¬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
Объяснение:
212.168.192.0
Объяснение:
Переводим все числа в двоичную систему, проводим поразрядное перемножение, получаем ответ 212.168.192.0.