// PascalABC.NET 3.0, сборка 1160 от 05.02.2016 begin var a:=ArrRandom(ReadInteger('n='),-50,50); a.Println; var b:=a.Where(x->(x>0) and (x mod 3=0)).ToArray.Println end.
Const N = 20; var a, b: array[1..N] of integer; i, j: integer; begin writeln('Массив A:'); for i := 1 to N do begin a[i] := random(199) - 99; write(a[i] : 4); if (a[i] > 0) and (a[i] mod 3 = 0) then begin j := j + 1; b[j] := a[i]; end; end; writeln; writeln('Массив B:'); for i := 1 to j do write(b[i] : 4); 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]
begin
var a:=ArrRandom(ReadInteger('n='),-50,50); a.Println;
var b:=a.Where(x->(x>0) and (x mod 3=0)).ToArray.Println
end.
Тестовое решение:
n= 15
15 39 -3 -40 6 -47 -19 -19 17 14 7 31 10 -37 -13
15 39 6