Truth Tables for Android APK

Descriere

Singurul scop al acestui program este generarea și afișarea tabelelor de adevăr. Deci, colegii mei logicieni: Nu întrebați ce poate face programul truth-tables pentru voi - întrebați ce puteți face pentru programul truth-tables! Această versiune gratuită acceptă toate conexiunile obișnuite ale logicii clasice, adică negația, conjuncția, disjuncția (incluzivă), condițională (implicație materială) și bicondițională (echivalență materială), precum și constantele 1 și 0 care denotă adevăr și, respectiv, fals. Un lucru mișto este că, pe lângă notația standard oarecum plictisitoare a logicii, puteți folosi și notația poloneză strălucitoare și simplă a lui Lukasiewicz! Nu este o afacere? Și nu se oprește aici. Dacă sunteți genul de persoană cu picioarele pe pământ și de bun-simț, veți găsi că este liniștitor că, implicit, programul folosește logica clasică, cu două valori. Dar dacă sunteți mai mult de tip aventuros, fără să vă opriți niciodată înainte de o aventură pe care viața vă poate oferi, veți fi încântați să aflați că Truth Tables pentru Android acceptă și o serie de sisteme logice non-clasice, cu valori multiple. Nu intrați niciodată într-un râu de două ori, iar două negative nu fac o afirmație, ca să spunem așa! Niciun animal nu a fost rănit în realizarea acestei aplicații. utilizator) 3.01: Adăugarea de bare de defilare (solicitate de un utilizator) 3.0: Aceasta este o reluare majoră a funcționării interioare, care duce la o experiență de utilizator mai lină și practic nelimitată (nu există limite mai relevante pentru dimensiunea tabelului de adevăr). 2.1: Acum puteți introduce mai multe propuneri simultan (separate prin virgule). În acest caz, programul va afișa un tabel de adevăr integrat pentru toate propozițiile.2.05: opțional suprimă tastatura soft Android (solicitată de un utilizator) 2.04: suport pentru versiuni mai vechi de Android (de la 1.6) plus remediere minoră (la rotirea ecran cu dialogul de setări deschis, setările modificate din acest dialog nu au fost aplicate)2.03: afișare mai atractivă a istoricului propunerilor introduse - pur cosmetic2.02: adăugarea unei funcții de istoric pentru propuneri (solicitată de un utilizator)2.01: adăugarea unei nivel suplimentar de verbozitate care arată evaluările pentru sub-expresii complexe, dar nu pentru sub-expresii atomice (solicitate de un utilizator estimat) 2.0: Opțional, tabelul de adevăr arată și toate rezultatele intermediare („tabel de adevăr detaliat”); îmbunătățiri interne1.000020101: adăugarea NAND, NOR și XOR (o apăsare lungă la butoanele pentru conjuncție, disjuncție și echivalență va intra în NAND, NOR și respectiv XOR)1.0000201: salvarea persistentă a setărilor globale; o apăsare lungă pe butonul Ștergere șterge întreg câmpul de introducere1.00002: Din cauza unei intrări lipsă din lista resurselor de șir în limba engleză, versiunea în limba engleză a aplicației nu a putut deschide dialogul principal de setări...1.00001: generarea unui Versiune mult mai economisitoare de spațiu a fișierului APK. deschis) Evaluarea conținutului: Toată lumea