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

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

1. Так как преобразуем левую часть функции:

2. так как, если то если то

3. После преобразований функция выглядит так: Так как дизъюнкция истинна, если истинно хотя бы одно из высказываний, входящих в нее, то при любых значениях и Чтобы функция была равна должно быть равно 0 (так как конъюнкция ложна, если ложно хотя бы одно из высказываний, входящих в нее). Значит, и (так как дизъюнкция ложна, если ложны все входящие в нее высказывания). Тогда Тогда соответствует второму столбцу, соответствует третьему, а соответствует первому столбцу (переменная может быть любой, так как в упрощенной формуле переменная отсутствует, значит, не влияет на ответ).

Решение Python:

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