Jediným účelom tohto programu je vytváranie a zobrazovanie, pravdivostná tabuľky.
Táto bezplatná verzia podporuje všetky bežné spojok klasickej logiky, že je negácia, konjunkcia, (vrátane) disjunkcia, conditonal (materiálne implikácie), a biconditional (materiál ekvivalencie), rovnako ako konštanty 1 a 0 označujúci pravdu a lož, resp. Super vec je, že okrem trochu nudné štandardnej notácie logiky, môžete použiť Łukasiewicz potoka lemované, lesklý poľskú notáciu, taky.
A tým to nekončí tu. Ak ste, zdravý rozum trochu dole-k-zemi osoby, zistíte, že je upokojujúce, že v predvolenom nastavení program používa klasický, dvoch-cenil logiku,. Ale ak ste viac dobrodružnejšie typ, nikdy zastavenie krátky podniku, budete sa radi dozvedeli, že pravdivostná tabuľky pre Android podporuje rad non-klasické, multi-ocenený systém logiky, príliš. Nikdy nevstupujte do rieky dvakrát, a dva negatívy nerobia čestné vyhlásenie, aby som tak povedal!
Aktualizované
14. 11. 2013