(¬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
Объяснение:
const n=8;
var a:array [1..n] of integer;
i,m:integer;
begin
m:=-15;
write('Массив: ');
for i:=1 to n do
begin
a[i]:=random(31)-15;
if a[i] > m then m:=a[i];
write(a[i],' ')
end;
writeln;
writeln('Утроенный максимальный элемент равен ',m*3)
end.