Суть такого свойства алгоритма как Дискретность, заключается в том что:
1.При точном исполнении всех команд алгоритма процесс должен прекратится за конечное число шагов и привести к определённому результату.
2.Алгоритм всегда состоит из последовательности дискретных шагов.
3.Для записи алгоритма используются команды, которые входят в систему команд исполнителя.
4.Алгоритм должен состоять из команд, однозначно понимаемых исполнителем.
5.Алгоритм обеспечивает решение не одной конкретной задачи, а некоторого класса задач.

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

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

Объяснение: