Проверить тождественность логических функций X и Y с подробным решением. X=(f1+f2*f3)*(f1*f3+^f2)*(^f1*^f2+f1*f3)
Y=^(^f1*f2+^f2*f3)*(^f1+^f2*f3)*(f1*^f2+f2*f3)​

// PascalABC.Net 3.0, сборка 1066
type
  Point=record
  x,y:double;
  end;

procedure GetPoint(c:char; var M:point);
begin
  Write('введите координаты точки ',c,': ');
  Read(M.x,M.y)
end;

function L(A,B:Point):double;
begin
  Result:=sqrt(sqr(B.x-A.x)+sqr(B.y-A.y))
end;

function S(A,B,C:Point):double;
var
  p,la,lb,lc:double;
begin
  la:=L(A,B); lb:=L(B,C); lc:=L(C,A);
  if (la+lb>lc) and (la+lc>lb) and (lb+lc>la) then begin
    p:=0.5*(la+lb+lc);
    Result:=sqrt(p*(p-la)*(p-lb)*(p-lc))
    end
  else
    Result:=0
end;

var
  A,B,C,D:Point;
  S1,S2:double;

begin
  GetPoint('A',A);
  GetPoint('B',B);
  GetPoint('C',C);
  GetPoint('D',D);
  S1:=S(A,B,C);
  if S1=0 then Write('По точкам А,В,С нельзя построить треугольник')
  else begin
    S2:=S(C,D,A);
    if S2=0 then Write('По точкам C,D,A нельзя построить треугольник')
    else Writeln('Площадь четырехугольника равна ',S1+S2)
  end
end.

Тестовое решение:
введите координаты точки A: -5 -7
введите координаты точки B: -2 4
введите координаты точки C: 5 9
введите координаты точки D: 9 -3
Площадь четырехугольника равна 123

ОбъясненНатура́льні чи́сла — числа, що виникають природним чином при лічбі. Це числа: 1, 2, 3, 4, … Множину натуральних чисел прийнято позначати знаком {\displaystyle \mathbb {N} .}{\displaystyle \mathbb {N} .}

Існують два основних підходи до означення натуральних чисел:

числа, що використовуються при лічбі предметів (перший, другий, третій…) — підхід, загальноприйнятий у більшості країн світу; формалізованим різновидом цього підходу є аксіоматичне описання системи натуральних чисел за до аксіом Пеано.

числа для позначення кількості предметів (один предмет, два предмети…).

Натуральні числа можна записувати за до десяти цифр: 1, 2, 3, 4, 5, 6, 7, 8, 9, 0.

Множина натуральних чисел є нескінченною: для будь-якого натурального числа знайдеться інше натуральне число, більше за нього.ие: