2.02 Частично заполненный фрагмент таблицы

1. тогда, когда дизъюнкция ложна, а ложна она в случае, когда обе скобки ложны. Значит имеют разные значения. Предположим, что занимает третий столбец. Обратимся к первой строке. Но тогда конъюнкция во второй скобке истинна, что делает Если занимает третий столбец, то что также делает Следовательно, третий столбец занят переменной

2. Обратимся к третьей строке, в ней значит, Тогда

3. Теперь обратимся ко второй строчке. Предположим, что в ней Тогда а значит, занимает второй столбец. Но тогда что не подходит для второй строки. Значит в ней Тогда а значит, либо В первом случае строка совпадет с первой строкой, значит подойдёт второй вариант. Таким образом, занимает второй столбец, а занимает первый.

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

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

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

Для начала заметим, что нет ни одного столбца с тремя нулями, а значит последняя строка из фрагмента таблицы истинности - это 110. В данной строке 0 - это переменная , следовательно она стоит на третьем месте. Остаётся один столбец, в котором можно поместить 2 единицы - это второй столбец, следовательно, переменная стоит на втором месте. Остаётся, что переменная стоит на первом месте.