Не(а или в) и не(а и не(в или не а))

Что это значит это вообще вопрос

(¬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

Объяснение:

Прямого кода. Прямой код двоичного числа совпадает по изображению с записью самого числа.
обратного кода. Обратный код для положительного числа совпадает с прямым кодом. Для отрицательного числа все цифры числа заменяются на противоположные (1 на 0, 0 на 1), а в знаковый разряд заносится единица.
дополнительного кода. Дополнительный код положительного числа совпадает с прямым кодом. Для отрицательного числа дополнительный код образуется путем получения обратного кода и добавлением к младшему разряду единицы.