Логическая функция задаётся выражением:
Ниже представлен фрагмент таблицы истинности функции
Определите, какому столбцу истинности функции соответствует каждая переменная
Решение руками:
1. Функция истинна, если одна из скобок истинна. Обратимся к первой строке. Если или
то функция ложна. Отсюда следует, что
занимает второй столбец.
2. Рассмотрим вторую строку. В ней принимает значение 1. Тогда первая скобка из-за отрицания
будет ложной. В таком случае
должен быть равен 0. Получаем, что
занимает первый столбец, а
занимает третий.
Решение Python:
print("x y z F")
for x in range(2):
for y in range(2):
for z in range(2):
F = (x and y or (not z)) or (z and (not x))
if F:
print(x, y, z, 1)