Пусть запись 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