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

Решение руками:

1. Конъюнкция истинна, когда обе скобки будут истинны. Обратим внимание на вторую и третью строчки. Они примечательны тем, что в них тогда, когда две переменные принимают значение 1, а третья переменная значение 0. Заметим, что если то так как первая скобка будет ложной. Используя вторую и третью строчки, мы поймём, что не может занимать первый и второй столбец, следовательно, занимает третий столбец.

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

Решение Python:

print("x y z F")
for x in range(2):
    for y in range(2):
        for z in range(2):
            F = ((not x) or y or (not z)) and ((not x) == ((not y) or z))
            if not F:
                print(x, y, z, 0)