Для какого минимального натурального числа а, логическое выражение ¬(x делится на 39) → ((x делится на 3) → ¬(x де- лится на тождественно истинно (то есть принимает значение 1 при любом целом значении переменной х)? 3

Пусть запись X║Y будет означать, что X делится на Y, а X∦Y - что X не делится на Y.

¬(X║39)→((x║3)→¬(X║A) = (X∦39)→((X∦3) ∨ (X∦A))=
X║39 ∨ X∦3 ∨ X∦A

При каком значении А такое выражение истинно, независимо от Х?
Понятно, что X∦3 не рассматривается, поскольку оно ложно для каждого третьего по порядку Х.
А вот выражение (X║39 ∨ X∦A) всегда истинно только если (X║39 ∨ X∦39), откуда следует, что А=39

Д- делится
нд- не делится
Преобразуем выражение:
¬(x д 39) → ((x д 3) → ¬(x д A))=(x нд 39) → ((x д 3) →(x нд A))=
=(x нд 39)→((x нд 3)+(x нд А))=(x д 39)+(х нд 3)+(x нд A)
Теперь невооруженным глазом видно, что выражение будет тождественно истинно при А=39