Truth Tables for Android APK

Kirjeldus

Selle programmi ainus eesmärk on tõetabelite genereerimine ja kuvamine. Seega, mu kolleegid loogikud: ärge küsige, mida tõetabelite programm teie heaks teha saab – küsige, mida saate tõetabelite programmi jaoks teha! See tasuta versioon toetab kõiki tavapäraseid klassikalise loogika konnektiivisid, st eitust, konjunktsiooni, (kaasa arvatud) disjunktsioon, tingimuslik (materiaalne implikatsioon) ja bikonditsionaalne (materiaalne ekvivalentsus), samuti konstandid 1 ja 0, mis tähistavad vastavalt tõde ja vale. Lahe on see, et lisaks pisut igavale standardsele loogikatähistusele võite kasutada ka Lukasiewiczi voolujoonelist läikivat poola tähistust! Kas see pole mitte kokkulepe? Ja see ei lõpe siin. Kui olete maalähedane ja terve mõistusega inimene, on see rahustav, et vaikimisi kasutab programm klassikalist kaheväärtuslikku loogikat. Kuid kui olete rohkem seiklushimuline tüüp, kes ei jää kunagi vahele seiklustest, mida elu võib pakkuda, on teil hea meel teada saada, et Androidi tõetabelid toetab ka mitmeid mitteklassikalisi, mitme väärtusega loogikasüsteeme. Ärge kunagi sisenege jõkke kaks korda ja kaks negatiivset ei anna nii-öelda kinnitust! Selle rakenduse tegemisel ei ole loomad viga saanud. Versiooniajalugu3.020001 - hooldusväljaanne3.01002 - võimaldab fikseeritud orientatsiooni (soovib kasutaja)3.01: Kerimisribade lisamine (kasutaja nõudmisel)3.0: see on sisemise töö oluline ümbertöötlemine, mis viib sujuvama ja praktiliselt piiramatu kasutuskogemuseni (tõetabeli suurusel pole asjakohaseid piiranguid). 2.1: Nüüd võite sisestada korraga rohkem kui ühe ettepaneku (eraldatuna komadega). Sel juhul näitab programm kõigi väidete jaoks integreeritud tõetabelit.2.05: valikuliselt summutab Androidi pehme klaviatuuri (kasutaja nõudmisel)2.04: vanemate Androidi versioonide tugi (alates 1.6) pluss väike veaparandus (kui pöörate ekraan, kus seadete dialoog on avatud, selles dialoogis muudetud sätteid ei rakendatud)2.03: atraktiivsem sisestatud ettepanekute ajaloo kuvamine - puhtalt kosmeetiline2.02: propositsioonide ajaloofunktsiooni lisamine (kasutaja soovil)2.01: lisamine lisasõnalisuse tase, mis näitab väärtusi keeruliste alamväljendite jaoks, kuid mitte atomaarsete alamväljendite jaoks (soovib hinnanguline kasutaja)2.0: Valikuliselt näitab tõesuse tabel ka kõiki vahetulemusi ("detailne tõetabel"); sisemised täiustused1.000020101: NAND-i, NOR-i ja XOR-i lisamine (konjunktsiooni, disjunktsiooni ja ekvivalentsuse nuppude pikal vajutamisel sisestatakse vastavalt NAND, NOR ja XOR)1.0000201: globaalsete sätete pidev salvestamine; pikaajaline vajutus nupule Kustuta tühjendab kogu sisestusvälja1.00002: ingliskeelsete stringiressursside loendist puuduva kirje tõttu ei saanud rakenduse ingliskeelne versioon avada põhiseadete dialoogi...1.00001: genereerimine palju ruumisäästlikum APK-faili versioonMärksõnad: tõetabelid tõetabelid tõetabelid Wahrheitstafel Wahrheitstafeln Wahrheitstabelle Wahrheitstabellen Aussagenlogik LogikHiljutised muudatused: hooldusväljalase (väga harvadel juhtudel võib rakendus seadete dialoogis seadme orientatsiooni muutmisel sulgeda avatud)Sisu reiting: kõik