Логическая функция задаётся выражением:
Ниже представлен фрагмент таблицы истинности функции , содержащий неповторяющиеся строки, при которых фукнция
ложна.
Определите, какому столбцу истинности функции соответствует каждая переменная .
Решение №:
Напишем программу:
print(’x y z’)
for x in range(2):
for y in range(2):
for z in range(2):
f = ((y or z) <= x) or (x == y)
if f == 0:
print(x, y, z)
Выведет таблицу:
Сравнив две таблицы, можно понять, что переменная —
столбец, так как только она
раза принимает значение
, а другим переменным нужны пустые ячейки, чтобы вставить туда
. Переменная
—
столбец, так как только она два раза принимает значение
, а в других столбцах нет места, чтобы поставить два раза
. Остается, что переменная
—
столбец.
Решение №:
Выпишем полную таблицу истинности и найдём все сочетания ,
,
, при которых функция равняется нулю:
Дальнейшее аналитическое рассуждение аналогично рассуждению из решения №.