В школе решили открыть новый математический класс. Было решено выделить кабинет для этого класса и купить в него новые парты. За каждой партой может сидеть не более двух учеников. Известно количество учащихся в классе. Сколько всего нужно купить парт, чтобы хватило для всех учеников? Программа получает на вход одно число – количество учеников в классе. В результате на экране должно быть количество парт.

Экран выполнения программы:
Введите количество учеников: 15
Количество парт: 13

Ставьте правильно отступы. Они очень важны. В случае их неверной расстановки программа будет выдавать ошибку.

Прямого кода. Прямой код двоичного числа совпадает по изображению с записью самого числа.
обратного кода. Обратный код для положительного числа совпадает с прямым кодом. Для отрицательного числа все цифры числа заменяются на противоположные (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

Объяснение: