Az igazságtábla betöltéséhez a főképernyőn aktiválni kell a ManualTruthTable lehetőséget. Így a tábla minden sorában lévő értéket betöltjük. Beírhatjuk például az 1-et a táblába, majd a fenti lehetőséget aktiválva a tábla többi részét 0 vagy X értékkel tölthetjük fel. A sorokat mindenképpen fel kell tölteni.

A tábla betöltéséhez nyomja meg az Evaluate, majd az Exit gombot. A tábla innentől használható. Például a kanonikus kifejezések vagy a normál alakok megjelenítéséhez elegendő aktiválni a megfelelő opciót.