例 3 ステップを1つのセッション内で順に実行します。各ステップはエンジンで実行済みで、以下の出力は実際に生成されたものです。
f1 = x && (y || z);出力なし - このステップは次のステップの準備をします。
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)}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]