Az egyetlen célja, ez a program generál, és megjelenítése, az igazság táblák.
Ez az ingyenes verzió támogatja az összes szokásos Kapcsok klasszikus logika, azaz a tagadás, kötőszó, (bezárólag) diszjunkció, conditonal (anyag közvetve), és biconditional (anyag ekvivalencia), valamint az állandó 1 és 0 jelöli az igazság és a hazugság volt. A jó dolog az, hogy túl a kissé unalmas szabványos jelölés a logika, akkor használhatja Lukasiewicz a patak bélelt, fényes lengyel jelöléssel is.
És ez nem áll meg itt. Ha a down-to-earth, józan ész fajta ember, meg fogja találni azt megnyugtató, hogy alapértelmezés szerint a program által használt klasszikus, két-értékű, logika. De ha inkább a kalandos típus, soha megállás rövid egy vállalkozás, akkor örömmel hallja, hogy az igazság asztalok Android támogat számos nem-klasszikus, több értékes rendszerek logika is. Soha ne adja meg a folyó kétszer, és két negatív nem csinál egy állítás, hogy úgy mondjam!