示例 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]

在 Qurak 上运行全部操作示例

Create truth tables

用到的函数

相关操作示例