Det eneste formålet med dette programmet er å generere, og vise, sannhetstabeller.
Denne gratis versjonen støtter alle vanlige connectives av klassisk logikk, er at negasjon, konjunksjon, (inkluderende) disjunksjon, conditonal (material implikasjon), og Biconditional (material ekvivalens), samt konstantene 1 og 0 betegner sannhet og løgn, henholdsvis. En kul ting er at, foruten litt kjedelig standard notasjon av logikk, kan du bruke Lukasiewicz stream-lined, skinnende polsk notasjon, også.
Og det stopper ikke her. Hvis du er down-to-earth, common-sense type person, vil du finne det betryggende at ved standard bruker programmet klassisk, to-verdsatt, logikk. Men hvis du er mer av den eventyrlystne typen, aldri stoppe kort av en bedrift, vil du bli glad for å høre at sannheten tabeller for Android støtter en rekke ikke-klassiske, multi-verdsatte systemer av logikk, også. Aldri oppgi en elv to ganger, og to negativer ikke avgi forsikring, så å si!