2.01 Полностью заполненные фрагменты таблицы истинности

Аналитическое решение:

Импликация ложна в случае, когда первая скобка будет истинной, а вторая скобка будет ложной. Вторая скобка ложна в случае, когда переменные имеют разные значения. Из первой и третьей строчек мы можем сделать вывод о том, что эти переменные могут занимать только первый и третий столбцы. Следовательно, занимает второй столбец. Рассмотрим вторую строку, в ней Так как то Значит занимает третий столбец, а занимает первый.

Программное решение:

print(’x y z’)
for x in range(2):
    for y in range(2):
        for z in range(2):
            if ((x <= (not y)) <= ((not x) == (not z))) == False:
                print(x, y, z)

После запуска программы получаем результат:

Для начала заметим, что только в одном столбце есть 2 единицы, и это столбец . Значит, данная переменная будет стоять на первом месте. В строке, где , переменная , а переменная , а значит на втором месте стоит , а на третьем – .