Contoh 3 langkah, dijalankan berurutan dalam satu sesi. Setiap langkah dieksekusi pada mesin dan keluaran di bawah adalah apa yang dihasilkannya.
f1 = x && (y || z);Tanpa keluaran - langkah ini menyiapkan sesuatu untuk langkah berikutnya.
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]