Сформулируйте условие программы program inr1;

type art=record

nume:string;

nr_loc:longint;

end;

var a:array[1..20] of art;

n,i:integer;

begin

write('n=');readln(n);

for i:=1 to n do begin

write('имя',i,'=');readln(a[i].имя);

write('nr_loc=');readln(a[i].nr_loc)

end;

writeln(Все города с населением более 100000 человек':');

for i:=1 to n do if a[i].номер_место>=100000 then writeln(a[i].имя);

readln;

end.

Var a1, b1, c1, a2, b2, c2, p1, p2, s1, s2: real;
begin
  writeln('Введите строны первого треугольника: ');
  read(a1, b1, c1);
  writeln('Введите стороны второго треугольника: ');
  read(a2, b2, c2);
  p1 := (a1 + b1 + c1) / 2;
  p2 := (a2 + b2 + c2) / 2;
  s1 := sqrt(p1 * (p1 - a1) * (p1 - b1) * (p1 - c1));
  s2 := sqrt(p2 * (p2 - a2) * (p2 - b2) * (p2 - c2));
  if (s1 + 1e-3 > s2) and (s1 < s2 + 1e-3) then writeln('Равновеликие')
                                           else writeln('Неравновеликие');
end.

Объяснение:

A       B   С      B∧A       A→B∧A     A→B∧A→C          A→B∧A→C→C

0     0      0       0               1            0                                     1

0     0      1        0               1            1                                      1

0     1       0       0               1            0                                     1

0     1       1        0               1            1                                      1

1     0       0       0               0           1                                     0

1     0       1        0               0           1                                     1

1     1        0       1                1            0                                    1

1     1        1        1                 1           1                                     1

Упрощение:

(A→B∧A→C)→C = ((¬A∨B)→C)→C = (C∨A¬B)→C=¬ A∨C∨ B