Единствена цел на оваа програма е генерирање и прикажување, вистинитосни таблици.
Оваа бесплатна верзија поддржува сите вообичаени сврзници на класичната логика, тоа е негација, заедно, (вклучително) дисјункција, conditonal (материјална импликација), и biconditional (материјал еквивалентност), како и константи 1 и 0 означува вистина и лага, соодветно. А кул работа е тоа што, покрај некако здодевна стандард нотација на логиката, можете да го користите поток-наредени, сјајна Полски нотација Lukasiewicz, исто така.
И тоа не завршуваат тука. Ако не сте, заеднички-свест вид на лице спуштен на земјата, ќе најдете дека е оптимист дека, по дифолт, на програмата ги користи класична, две ценет, логика. Но, ако сте повеќе на авантуристички тип, никогаш не прават ништо за тоа претпријатие, ќе бидете задоволни да дознаат дека вистинитосни таблици за Android поддржува голем број на не-класична, мулти-вредносна логички системи, исто така. Никогаш не влезе во реката двапати, и две негативи не се направи афирмација, така да се каже!