С ИНФОРМАТИКОЙ 1. Упростить выражение x ∨ y ∨ ¬(x ∨ y), используя законы алгебры логики и доказать равносильность исходного и упрощенного выражений (таблица истинности 2. Упростить выражение ¬(x ∨ ¬ y) ∨ ¬x ∧ z , используя законы алгебры логики и доказать равносильность исходного и упрощенного выражений.

1)
var
x : integer;
begin
readln(x);
if x mod 2 = 0 then
  writeln('Число четное');
else
  writeln('Число нечетное');
end.

проверим прямоугольность с теоремы Пифагора

var
a,b,c : integer;
begin
readln(a,b,c);
if (a*a+b*b = c*c) or (b*b+c*c = a*a) or (c*c+a*a = b*b) then writeln('Треугольник прямоугольный);
elseif(b=a) or (b=c) or (a=c) then writeln('Треугольник равнобедренный');
elseif(a=b) and (b=c) and (a=c) then writeln('Треугольник равносторонний');
else writeln('Треугольник не прямоугольный, не равнобедренный и не равносторонний');
end.