Truth Tables for Android APK

Deskrizzjoni

L-uniku għan ta' dan il-programm huwa li jiġġenera, u juri, tabelli tal-verità. Allura, sħabi l-loġika: M'għandekx tistaqsi x'jista 'jagħmel għalik il-programm tat-tabelli tal-verità - staqsi x'tista' tagħmel għall-programm tat-tabelli tal-verità!Din il-verżjoni b'xejn tappoġġja l-konnettivi kollha tas-soltu tal-loġika klassika, jiġifieri n-negazzjoni, il-konġunzjoni, (inklużiva) disġunzjoni, kondizzjonali (implikazzjoni materjali), u bikondizzjonali (ekwivalenza materjali), kif ukoll il-kostanti 1 u 0 li jindikaw il-verità u l-falsità, rispettivament. Ħaġa sabiħa hija li, minbarra n-notazzjoni standard kemmxejn boringa tal-loġika, tista 'tuża wkoll in-notazzjoni Pollakka tleqq ta' Lukasiewicz stream-lined! Mhux dak ftehim?U ma jieqafx hawn. Jekk inti l-art, tip ta 'persuna ta' sens komun, issibha serħan il-moħħ li, b'mod awtomatiku, il-programm juża loġika klassika, b'żewġ valuri. Imma jekk inti aktar tat-tip avventuruż, li qatt ma tieqaf minn ħajja ta 'avventura tista' toffri, inti tkun kuntent li titgħallem li Truth Tables għal Android jappoġġja għadd ta 'sistemi ta' loġika mhux klassiċi u b'ħafna valur, ukoll. Qatt tidħol f'xmara darbtejn, u żewġ negattivi ma jagħmlux affermazzjoni, biex ngħidu hekk!L-ebda annimal ma saritx ħsara fit-twettiq ta' din l-applikazzjoni.L-istorja tal-verżjoni3.020001 - rilaxx ta' manutenzjoni3.01002 - li tippermetti orjentazzjoni fissa (mitlub minn a. utent) 3.01: Żieda ta 'scrollbars (mitlub minn utent) 3.0: Din hija ħidma mill-ġdid kbira tal-ħidma ta' ġewwa, li twassal għal esperjenza tal-utent aktar bla xkiel u prattikament bla limitu (m'hemmx limiti aktar rilevanti għad-daqs tat-tabella tal-verità). 2.1: Issa tista' ddaħħal aktar minn proposta waħda kull darba (separati b'virgoli). F'dan il-każ, il-programm se juri tabella tal-verità integrata għall-proposti kollha. 2.05: b'mod fakultattiv jrażżan it-tastiera ratba ta 'Android (mitluba minn utent) 2.04: appoġġ għal verżjonijiet Android anzjani (minn 1.6) flimkien ma' bugfix minuri (meta ddawwar il- skrin bid-djalogu tas-settings miftuħ, is-settings mibdula minn dan id-djalogu ma ġewx applikati)2.03: wiri aktar attraenti tal-istorja tal-propożizzjonijiet imdaħħla - purament kożmetiku2.02: iż-żieda ta' funzjoni tal-istorja għall-propożizzjonijiet (talbet minn utent)2.01: iż-żieda ta' livell addizzjonali ta' verbosity li juri l-valutazzjonijiet għal sub-espressjonijiet kumplessi, iżda mhux għal sub-espressjonijiet atomiċi (mitlub minn utent stmat)2.0: B'għażla, it-tabella tal-verità turi r-riżultati intermedji kollha, ukoll ("tabella tal-verità dettaljata"); titjib intern1.000020101: iżżid NAND, NOR, u XOR (għafsa twila fuq il-buttuni għall-konġunzjoni, disġunzjoni, u ekwivalenza se jidħlu NAND, NOR, u XOR, rispettivament)1.0000201: persistentement issalva l-issettjar globali; agħfas fit-tul fuq il-buttuna Ħassar ikklerja l-field tad-dħul kollu1.00002: Minħabba dħul nieqsa mil-lista tar-riżorsi tal-istring Ingliż, il-verżjoni Ingliża tal-applikazzjoni ma setgħetx tiftaħ id-djalogu prinċipali tas-settings...1.00001: jiġġeneraw verżjoni tal-fajl APK ħafna aktar li tiffranka l-ispazju Kliem ewlenin: tabelli tal-verità tabelli tal-verità Wahrheitstafel Wahrheitstafeln Wahrheitstabelle Wahrheitstabellen Aussagenlogik Logik Bidliet riċenti: rilaxx ta’ manutenzjoni (taħt ċirkostanzi rari ħafna, l-applikazzjoni tista’ tagħlaq meta tinbidel l-orjentazzjoni tal-issettjar tad-djalogu tal-apparat miftuħa)Klassifikazzjoni tal-kontenut: Kulħadd