23.12.2021

print("Петя не прав")
print("Решение Пети забывает, что он ищет решение при всех X")
print("Поэтому он должен был учесть, что  был ищет максимальную длину двоичной формы чисел 77 и 12")
print("А это 1001101, и включающая 7 символов, а не четыре")
for A in range(128): #128, а не 16 так как 2**7 == 128
    B = True
    for x in range(128):
        if ((x&77 == 0) or (x&12 != 0) or (x&A!=0)) == 0:
            print("Ошибка в выражение, так импликация расписывается через дизъюнкцию")
            B = False
    if B:
        print(A)
        break