Qurak

Create truth tables

Пример 3 шагов, выполняемых по порядку в одной сессии. Каждый шаг был выполнен на движке, и вывод ниже — то, что он дал.

Шаг 1
f1 = x && (y || z);

Нет вывода — этот шаг готовит что-то для следующего.

Шаг 2
t1 = BooleanTable[{x, y, z} -> f1, {x, y, z}]
Вывод
{{True, True, True} -> x && (y || z), {True, True, False} -> x && (y || z), {True, False, True} -> x && (y || z), {True, False, False} -> x && (y || z), {False, True, True} -> x && (y || z), {False, True, False} -> x && (y || z), {False, False, True} -> x && (y || z), {False, False, False} -> x && (y || z)}
Шаг 3
f2 = BooleanFunction[t1][x, y, z]
Вывод
BooleanFunction[{{True, True, True} -> x && (y || z), {True, True, False} -> x && (y || z), {True, False, True} -> x && (y || z), {True, False, False} -> x && (y || z), {False, True, True} -> x && (y || z), {False, True, False} -> x && (y || z), {False, False, True} -> x && (y || z), {False, False, False} -> x && (y || z)}][x, y, z]

Используемые функции

Связанные рецепты

Все рецепты · Справочник функций · Использовать из MCP-клиента