Создайте программу вычисления среднего арифметического переменных x1 и x2. при равенстве значений выдать сообщение "вычислений нет" на языке pascal.

Var
  x1,x2:real;
 
begin
  Write('Введите x1,x2: '); Read(x1,x2);
  if x1=x2 then Writeln('Вычислений нет')
  else Writeln((x1+x2)/2)
end.

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

Объяснение: