function minim(ar: array of real; n: integer): real; var i: integer; min: real; begin min := MaxReal; for i := 0 to n - 1 do //динамические массивы индексируются с 0 if min > ar[i] then min := ar[i]; minim := min; end;
begin randomize; write('NA:');readln(NA); //ввод размерностей write('NB:');readln(NB); write('NC:');readln(NC); var a := ArrRandomReal(NA, 1, NA); //инициализация динамических массивов var b := ArrRandomReal(NB, 1, NB); var c := ArrRandomReal(NC, 1, NC); a.println(' '); writeln('Min:', minim(a, NA)); b.println(' '); writeln('Min:', minim(b, NB)); c.println(' '); writeln('Min:', minim(c, NC)); 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]
var
NA, NB, NC: integer;
function minim(ar: array of real; n: integer): real;
var
i: integer;
min: real;
begin
min := MaxReal;
for i := 0 to n - 1 do //динамические массивы индексируются с 0
if min > ar[i] then min := ar[i];
minim := min;
end;
begin
randomize;
write('NA:');readln(NA); //ввод размерностей
write('NB:');readln(NB);
write('NC:');readln(NC);
var a := ArrRandomReal(NA, 1, NA); //инициализация динамических массивов
var b := ArrRandomReal(NB, 1, NB);
var c := ArrRandomReal(NC, 1, NC);
a.println(' ');
writeln('Min:', minim(a, NA));
b.println(' ');
writeln('Min:', minim(b, NB));
c.println(' ');
writeln('Min:', minim(c, NC));
end.
Пример ввода:
NA:3
NB:4
NC:5
Пример вывода:
2.45183664907321 2.12786289357015 2.8286734511278
Min:2.12786289357015
3.47355249453036 1.03827733129183 2.42042394141686 2.17556424353996
Min:1.03827733129183
3.9204495134393 3.64103751938838 3.57791954771519 4.31033914690387 4.13624760282051
Min:3.57791954771519