(¬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
Объяснение:
i, n: integer;
f: longint;
begin
Write('Задайте натуральное число: ');Readln(n);
f := 1;
for i := 2 to n do f := f * i;
Writeln(n, '!=', f)
end.
Тестовое решение:
Задайте натуральное число: 5
5!=120