Eksempel 3 steg, kjørt i rekkefølge i én økt. Hvert steg ble kjørt mot motoren, og utdataene nedenfor er det de ga.
f1 = x && (y || z);Ingen utdata - dette steget setter opp noe for det neste.
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]Alle oppskrifter · Funksjonsreferanse · Bruk dette fra en MCP-klient