範例共 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

使用到的函式

相關的操作範例