Um die Wahrheitstafel zu laden, müssen Sie die Option „Manuelle Wahrheitstafel“ (Manual Truth Table) im Hauptfenster aktivieren. So werden wir die Werte in jeder Reihe der Tafel laden. Z. B. können wir die 1 in die Tafel schreiben und aktivieren die Option, um den Rest der Tafel mit 0 oder X zu füllen. Die Reihen müssen vollständig ausgefüllt sein.

Wir klicken Evaluate und dann Exit und die Tafel wird geladen. Von da an können wir diese verwenden. Wir sehen dann z. B. die kanonischen Ausdrücke oder normalen Formen, wenn diese ausreichend sind (durch Aktivierung der entsprechenden Option).