составить логическое уравнение для данной задачи: Три подружки - Вера, Оля, Таня пошли в лес за ягодами. Для сбора ягод у них были корзина, лукошко и ведерко. Известно, что Оля была не с корзинкой и не с лукошком. Вера - не с лукошком. Что взяла с собой каждая девочка?
Необходимо составить логическую формулу и написать соответствующее уравнение

// PascalABC.NET 3.0, сборка 1076
type
  Point=record
  x,y:real
  end;
  Line=record
  A,B:Point
  end;
  Triangle=record
  A,B,C:Point;
  sa,sb,sc:real; { длины сторон }
  end;

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

function LineLength(A,B:Point):real;
begin
  LineLength:=sqrt(sqr(B.x-A.x)+sqr(B.y-A.y))
end;
 
procedure CreateTriangle(var T:Triangle; var l:boolean);
begin
  With T do begin
    GetPoint('A',A);
    GetPoint('B',B);
    GetPoint('C',C);
    sa:=LineLength(B,C);
    sb:=LineLength(A,C);
    sc:=LineLength(A,B);
    l:=(sa+sb>sc) and (sa+sc>sb) and (sb+sc>sa)
  end
end;

function TriangleIsLikes(T1,T2:Triangle):boolean;
var
  k1,k2,k3:real;
begin
  k1:=T1.sa/T2.sa; k2:=T1.sb/T2.sb;
  if k1=k2 then begin
    k3:=T1.sc/T2.sc;
    TriangleIsLikes:=k1=k3
    end
  else
    TriangleIsLikes:=False
end;

var
  T1,T2:Triangle;
  legal:boolean;
begin
  Writeln('*** Первый треугольник ***');
  CreateTriangle(T1,legal);
  if legal then begin
    Writeln('*** Второй треугольник ***');
    CreateTriangle(T2,legal);
    if legal then
      if TriangleIsLikes(T1,T2) then Writeln('Треугольники подобны')
      else Writeln('Треугольники не подобны')
    else Writeln('Треугольник невозможно построить')
    end
  else Writeln('Треугольник невозможно построить')
end.

Родился в деревне гмины Блендов Гроецкого уезда Варшавской губернии Царства Польского. Работал банковским служащим, политическую деятельность начал в период нацистской оккупации. В 1942 году вступил в Польскую рабочую партию (ПРП). Был боевиком Гвардии Людовой, участвовал в экспроприациях. Выполнял функции секретаря Крайовой Рады Народовой.[2]

В январе—марте 1945 года Казимеж Мияль являлся уполномоченным новых властей в Лодзи, до 1947 года возглавлял администрацию Лодзи. В 1946 году получил несколько высоких государственных наград. В 1948—1950 годах — начальник канцелярии Болеслава Берута. В декабре 1948 года кооптирован в ЦК ПОРП.

С апреля 1950 года по ноябрь 1952-го Мияль возглавлял министерство коммунального хозяйства в правительстве Юзефа Циранкевича. В 1952—1956 годах руководил Аппаратом (поль.) Совета министров ПНР. Затем до февраля 1957 года снова был министром коммунального хозяйства.

Казимеж Мияль принадлежал к окружению Берута и являлся влиятельным проводником сталинистской политики в Польше. Был одним из лидеров консервативной «фракции натолинцев», противостоящей реформаторской «фракции пулавян».

Объяснение: