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

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

так как если то а если то а

Тогда функция переписывается в таком виде: Во всех трех столбцах Так как конъюнкция истинна, если все высказывания, входящие в нее, истинны, то и Тогда первый столбик — это

Рассмотрим высказывание Оно истинно, когда и/или то есть (так как дизъюнкция истинна, когда хотя бы одно высказывание, входящее в нее, истинно). Рассмотрим третью строку. Как мы определили выше, первый столбец отвечает за Если второй — это то должна быть равна 1 (так как если то есть Но переменная в третьем столбце равна 1, значит, предположение, что второй столбец — это было неверным. Значит, второй столбец — это а третий — это

Проверим это предположение на первой и второй строчках. Подставим соответствующие значения в функцию. Первая строка: Вторая строка: Все верно.

Решение Python:

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