Обозначим через ДЕЛ(n, m) утверждение «натуральное
Для какого наибольшего натурального числа А логическое выражение тождественно истинно (то есть принимает
ДЕЛ(x, A) ∨ ((x ∈ B) → ¬(ДЕЛ(x, 22))).
Приведём решение на языке Python.
b = list(range(70, 90 + 1))
for a in range(1000,1,-1):
flag = True
for x in range (1,1000):
if ((x%a==0) or ((x in b) <= (not(x%22==0)))) == False:
flag = False
break
if flag:
print(a)
break
Ответ: 88.
Приведём решение Сергея Донец на языке PascalABC.NET.
begin
var d:=70*90*22;//перемножаем имеющиеся числа
for var A := d downto 1 do
if(1..d).All(x->x.Divs(A)or((x in 70..90)<=not x.Divs(22)))
then begin A.Print;break end
end.