Объясните пожалуйста задание ЕГЭ по информатике номер 15

'''
Обозначим через ДЕЛ(n, m) утверждение «натуральное число n делится без остатка на натуральное
число m». Для какого наибольшего натурального числа A формула
ДЕЛ(70, A) /\ (¬ДЕЛ(x, A) → (ДЕЛ(x, 18) → ¬ДЕЛ(x, 42)))
тождественно истинна, то есть принимает значение 1 при любом натуральном х?
'''
count = 0
for A in range(10000, 1):
    OK = 1
    for x in range(10000, 1):
        OK *= (70 % A == 0) and (((x % A == 0) or (x % 18 != 0)) or (x % 42 != 0))
        if OK == 0: break
    if OK == 1: count += 1
print(count)

range(1, 1000)

((x % A == 0) or ((x % 18 != 0) or (x % 42 != 0)))

((x % A == 0) or (x % 18 != 0) or (x % 42 != 0))

'''
Обозначим через ДЕЛ(n, m) утверждение «натуральное число n делится без остатка на натуральное
число m». Для какого наибольшего натурального числа A формула
ДЕЛ(70, A) /\ (¬ДЕЛ(x, A) → (ДЕЛ(x, 18) → ¬ДЕЛ(x, 42)))
тождественно истинна, то есть принимает значение 1 при любом натуральном х?
'''
#==============================================================================
def is_div_by(numerator, divisor):
    return numerator % divisor == 0
#==============================================================================
def is_NOT_div_by(numerator, divisor):
    return not is_div_by(numerator, divisor)
#==============================================================================
def implication(a, b):
    return not a or b
#==============================================================================
def double_implication(a, b, c):
    return implication(a, implication(b, c) )
#==============================================================================
def FORMULA(A, x):
    return is_div_by(70, A) and double_implication( is_NOT_div_by(x, A), is_div_by(x, 18), is_NOT_div_by(x, 42) )
#==============================================================================
def formula_is_identically_true(A):
    res = True
    for x in range(1, 18 * 42 * 70 + 1):
        res = FORMULA(A, x)
        if not res:
            break
    return res
#==============================================================================
def print_values_A_at_which_formula_is_identically_true():
    for A in range(1, 10000):
        if formula_is_identically_true(A):
            print(A)
#==============================================================================
def main():
    print_values_A_at_which_formula_is_identically_true()
#==============================================================================
main()

from itertools import product
 
for x, y in product([False, True], repeat=2):
    print(x, y, x <= y)