Unicul scop al acestui program este generatoare, și afișarea, tabele de adevăr.
Această versiune gratuită suporta toate conectori obișnuite ale logicii clasice, care este negație, conjuncție, disjuncție (inclusiv), conditonal (materiale de implicare), și biconditional (echivalență material), precum și constantele 1 și 0 denotă adevăr și falsitate, respectiv. Un lucru grozav este că, în afară de formatul standard oarecum plictisitor de logică, se poate folosi aliniat-stream, notația poloneză strălucitoare Lukasiewicz lui, prea.
Și lucrurile nu se opresc aici. Dacă sunteți, de bun-simț genul de om cu picioarele pe pământ, veți găsi că este reconfortant că, în mod implicit, programul utilizează clasic, cu două valori, logică. Dar dacă sunteți mai mult de tipul de aventuros, nu oprire scurtă a unei întreprinderi, va fi încântat să afle că tabele de adevăr pentru Android suportă un număr de sisteme non-clasice, multi-evaluate de logică, de asemenea. Nu introduce un râu de două ori, și două negative nu fac o afirmație, ca să spunem așa!
Ultima actualizare
14 nov. 2013