Упростим выражение:
¬A ˅ 21 ˅ 35
То есть все натуральные числа должны не делиться на А, или делиться на 21, или делиться на 35.
Значение А критично для тех чисел, для которых (21 ˅ 35) ложно, то есть которые не делятся на 21 и не делятся на 35. Это числа:
1..20, 22..34, 35..41 и т.д. Все они не делятся на 21 и не делятся на 35.
Нужно подобрать наименьшее А, чтобы все эти числа на него не делились. Но все эти числа делятся сами на себя, значит А не может быть одним из этих чисел. Так как нам надо наименьшее число, остаётся вариант 21, наименьшее, которое не входит в ряд 1..20, 22..34, 35..41 и т.д.
То есть ДЕЛ(x, 21) -> (ДЕЛ(x, 21) + ДЕЛ(x, 35)) будет истинна для любого натурального x.

Ответить

x ⋮ A → (x ⋮ 21 ∨ x ⋮ 35) ⇔ А ⋮ 21 ∨ A ⋮ 35
Аmin = min (21, 35) = 21

Ответить