Í þeim tilgangi þessarar áætlunar er að búa, og sýna, borðum sanngildi.
This frjáls útgáfa styður allar venjulegar connectives af klassískum rökum, það er negation, tengslum, (að báðum meðtöldum) disjunction, conditonal (efni vísbendingu), og biconditional (efni jafngildi), sem og fastar 1 og 0 denoting sannleika og lygi, hver um sig. A kaldur hlutur er að, auk nokkuð leiðinlegur staðall merki rökfræði, þú getur notað á-lína, glansandi pólska tákn Lukasiewicz er líka.
Og það þýðir ekki að hætta hér. Ef þú ert niður-til-jörð, algengar-vit konar manneskja, þú vilja finna það hughreystandi að með því sjálfgefið, the program notar klassíska, tveggja metin, rökfræði. En ef þú ert meira af ævintýralegur tegund, aldrei hætt stutt fyrirtækis, verður þú að vera ánægð með að læra að sannleikurinn Töflur fyrir Android styður fjölda af non-klassískum, multi-gildi kerfi rökfræði, líka. Aldrei inn ána tvisvar, og tveir filmur gera ekki staðfesting, svo að segja!