Задача к ЕГЭ по информатике на тему «преобразование логических выражений» №3

Просмотров 10 Комментарии 0

Для какого наименьшего целого неотрицательного числа $A$ выражение

$( ) ( 3x2 − 7x+ √10x-< A ↓ (((x ≤ 4)|(x ≤ 4)))) ↓ 3$

$( ) 2 7x- √ --- ( 3x − 3 + 10x < A ↓ (((x ≤ 4)|(x ≤ 4))))$

тождественно истинно при любых целых неотрицательных $x?$

Выше было применено следующее действие — стрелка Пирса, которое обозначается как « $↓$ «. Выражение a $↓$ b будет ИСТИННЫМ только в случае, когда $a = b = 0.$

Также было применено следующее действие — Штрих Шеффера, которое обозначается как « $|$ «. Выражение a|b будет ЛОЖНЫМ только в случае, когда $a = b = 1.$

def f(x, A):

    a1 = (3*x*x) — (7*x/3) + ((10*x) ** 0.5) < A

    b = shtrih_Sheffera(x<=4, x<=4)

    return strelka_Pirsa(strelka_Pirsa(a1, b), strelka_Pirsa(a1, b))

def strelka_Pirsa(a, b):

    if (a == 0) and (b == 0):

        return True

    return False

def shtrih_Sheffera(a, b):

    if a == True and b == True:

        return False

    return True

def podh(A):

    for x in range(10000):

        if not f(x, A):

            return False

    return True

for A in range(100):

    if podh(A):

        print(A)

Ответ: 45