(¬x → ¬z) ˅ y → (x → y) → ¬x ˅ ¬z = (заменяем импликацию)
(¬¬x ˅ ¬z) ˅ y → (¬x ˅ y) → ¬x ˅ ¬z = (закон двойного отрицания)
x ˅ ¬z ˅ y → (¬x ˅ y) → ¬x ˅ ¬z = (заменяем импликацию)
¬(x ˅ ¬z ˅ y)˅(¬x ˅ y)→ ¬x ˅ ¬z = (закон де Моргана)
(¬x ˄ ¬¬z ˄ ¬y ˅ ¬x ˅ y)→ ¬x ˅ ¬z = (закон двойного отрицания)
(¬x ˄ z ˄ ¬y ˅ ¬x ˅ y)→ ¬x ˅ ¬z = (правило поглощения ¬x ˄ z ˄ ¬y ˅ ¬x = ¬x)
(¬x ˅ y)→ ¬x ˅ ¬z = (заменяем импликацию)
¬(¬x ˅ y)˅ ¬x ˅ ¬z = (закон де Моргана)
(¬¬x ˄ ¬y)˅ ¬x ˅ ¬z = (закон двойного отрицания)
(x ˄ ¬y)˅ ¬x ˅ ¬z = (распределительный закон)
(x˅ ¬x ˄ ¬y˅ ¬x)˅ ¬z = (исключение третьего)
¬x ˅ ¬y ˅ ¬z
Var a, b, k:integer;
begin
readln(a);
readln(b);
if (a+b)>10 then
writeln(2*a*b)
else
if (a>b) then
begin
k:=a;
a:=a+b;
b:=k-b;
end
else
begin
k:=b;
b:=b+a;
a:=k-a;
end;
writeln(a, ' ', b);
end.
Все четырёхугольники кроме треугольника.
стороны равны в- первом, второй ряд вторая фигура,и квадрат
526 в восьмеричной
156 в шестнадцатеричной
Program R1;
Var a:array[1..100] of integer;
i,n:integer;
begin
assign(input,'input.txt');
reset(input);
assign(output,'output.txt');
rewrite(output);
readln(n);
for i:=1 to n do read(a[i]);
for i:=n+1 downto 2 do
a[i]:=a[i-1] ;
a[1]:=7 ;