Det eneste formål med dette program er at generere og vise, sandheden tabeller.
Denne gratis version understøtter alle gængse connectives af klassisk logik, der er negation, konjunktion (inklusive) disjunktion, conditonal (materiale konsekvenser), og Biconditional (materiale ækvivalens), samt konstanterne 1 og 0 betegner sandhed og løgn, hhv. En cool ting er, at ud over den noget kedelige standard notation af logik, kan du bruge Lukasiewicz er strømlinet, skinnende polsk notation, også.
Og det stopper ikke her. Hvis du er nede-på-jorden, common-sense slags person, vil du finde det betryggende, at ved standard bruger programmet klassisk, to-værdsat, logik. Men hvis du er mere af den eventyrlystne type, aldrig stoppe kort af en virksomhed, vil du være glad for at erfare, at sandheden tabeller til Android understøtter en række ikke-klassiske, multi-værdsatte systemer af logik, også. Aldrig indtaste en flod to gange, og to negativer ikke gør en bekræftelse, så at sige!