Edini namen tega programa je ustvarjanje in prikazovanje resnice tabel.
Ta brezplačna različica podpira vse običajne vezniki klasične logike, da je negacija, konjunkcija, (vključno) disjunkcije, conditonal (material posledice), in biconditional (material enakovrednosti), kot tudi konstante 1 in 0, ki označujejo resnico in laž, respectively. Kul stvar je, da poleg nekoliko dolgočasen standardnim zapisom logike, lahko uporabite Lukasiewicz v-tok podložene, sijoče poljski zapis, preveč.
In to ne ustavi tukaj. Če ste, zdrav razum nekako dol-zemlja oseba, se vam zdi pomirjujoče, da je privzeto, program uporablja klasične, dve vrednoti, logiko. Ampak, če ste bolj pustolovski tip, nikoli ne ustavi kratko podjetja, boste z veseljem izvedeli, da je resnica Mize za Android podpira številne ne-klasičnih, multi-vrednotene sistemov logike, preveč. Nikoli ne pride reko dvakrat, in dve negativi ne bi afirmacijo, tako rekoč!
Posodobljeno dne
14. nov. 2013