Сделайте с кругами эйлера и побыстрее )

#1:

 

const
Count = 3; // количество проверяемых чисел

 

var
m : array [1..Count] of Integer;
i, e, c: Integer;
begin

Writeln('Введите числа:');
for i := 1 to Count do
begin
Write(i ,': '); Readln( m[i] );
end;

for i := 1 to Count do
for e := 1 to Count do
if m[i] < m[e] then
begin
c := m[i];
m[i] := m[e];
m[e] := c;
end;

for i := 1 to Count do
Write(m[i], ' ');

Readln;
end.

 

#2:

 

var
a, b, c, x, y: Integer;
begin

Writeln('Введите рёбра кирпича:');
Write('a: '); Readln( a );
Write('b: '); Readln( b );
Write('c: '); Readln( c );

Writeln('Введите стороны отверстия:');
Write('x: '); Readln( x );
Write('y: '); Readln( y );

x := x*y;

if (a*b <= x) or (a*c <= x) or (b*c <= x) then
Write('Пройдёт.')
else
Write('не пройдёт.');

Readln;
end.

 

Обозначим P,Q,A утверждение что х принадлежит соответствующему отрезку
¬А отрицание А, то есть х не принадлежит А
перепишем и упростим исходную формулу
P→((Q∧¬A)→P)
известно что X→Y=¬X∨Y (доказывается просто, например через таблицу истинности)
тогда:
P→(¬(Q∧¬A)∨P)
раскроем скобку ¬(Q∧¬A) с закона де Моргана (стыдно их не знать, если что это такие же основы как и таблицы истинности)
P→(¬Q∨¬¬A∨P) = P→(¬Q∨A∨P) = ¬P∨¬Q∨A∨P
¬P∨P=1 то есть всегда истинно и 1∨Х=Х значит ¬P и P можно убрать
остается ¬Q∨A
Значит х либо принадлежит А либо не принадлежит Q
для выполнения этого условия необходимо чтобы все значения Q принадлежали А, тогда минимальное А совпадает с Q
ответ А=[40,77]