Приклад 3 кроків, що виконуються по порядку в одній сесії. Кожен крок було виконано на рушії, і вивід нижче — те, що він дав.
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]