Truth Tables for Android APK

apibūdinimas

Vienintelis šios programos tikslas yra tiesos lentelių generavimas ir rodymas. Taigi, mano kolegos logikai: neklauskite, ką tiesos lentelių programa gali padaryti už jus – klauskite, ką galite padaryti tiesos lentelių programai! Ši nemokama versija palaiko visas įprastas klasikinės logikos jungtis, tai yra neigimas, konjunkcija, (imtinai) disjunkcija, sąlyginė (materiali implikacija) ir bisąlyginė (materialioji ekvivalentė), taip pat konstantos 1 ir 0, atitinkamai reiškiančios tiesą ir melą. Puiku tai, kad, be šiek tiek nuobodžios standartinės logikos žymėjimo, galite naudoti ir Lukasiewicziaus srautinį, blizgantį lenkišką užrašą! Argi tai ne susitarimas? Ir čia viskas nesibaigia. Jei esate žemiškas, sveiko proto žmogus, jums patiks, kad pagal numatytuosius nustatymus programoje naudojama klasikinė, dviejų reikšmių logika. Bet jei esate labiau nuotykių ieškotojas, niekada nenustokite pasimėgauti nuotykiais, kuriuos gyvenimas gali pasiūlyti, jums bus malonu sužinoti, kad „Android“ skirtos tiesos lentelės taip pat palaiko daugybę neklasikinių, daugiareikšmių logikos sistemų. Niekada neįplaukkite į upę du kartus, o du negatyvai nepatvirtina, taip sakant! Kuriant šią programą nebuvo sužaloti jokie gyvūnai. Versijos istorija3.020001 – priežiūros leidimas3.01002 – leidžianti fiksuota orientacija (prašė vartotojas)3.01: slinkties juostų pridėjimas (pareikalavo vartotojas)3.0: tai yra esminis vidinio veikimo pertvarkymas, leidžiantis sklandžiau ir praktiškai neriboti naudotojo patirtį (nėra jokių aktualesnių tiesos lentelės dydžio apribojimų). 2.1: Dabar vienu metu galite įvesti daugiau nei vieną pasiūlymą (atskirti kableliais). Tokiu atveju programa parodys integruotą tiesos lentelę visiems teiginiams.2.05: pasirinktinai slopina „Android“ programinę klaviatūrą (paklausė vartotojas) 2.04: palaikymas senesnėms „Android“ versijoms (nuo 1.6) ir nedidelis klaidų taisymas (sukant ekranas su atidarytu nustatymų dialogo langu, pakeisti parametrai iš šio dialogo nebuvo pritaikyti)2.03: patrauklesnis įvestų pasiūlymų istorijos rodymas - grynai kosmetinis2.02: teiginių istorijos funkcijos pridėjimas (vartotojo užklausa)2.01: pridėti papildomas išsamumo lygis, rodantis sudėtingų poraiškių, bet ne atominių poraiškių vertinimus (prašomas apskaičiuotas vartotojas)2.0: Pasirinktinai tiesos lentelėje taip pat rodomi visi tarpiniai rezultatai ("detali tiesos lentelė"); vidiniai patobulinimai1.000020101: pridėjus NAND, NOR ir XOR (ilgai paspaudus sujungimo, atskyrimo ir lygiavertiškumo mygtukus, atitinkamai įvesite NAND, NOR ir XOR)1.0000201: nuolatinis visuotinių nustatymų išsaugojimas; ilgai paspaudus mygtuką Ištrinti, išvalomas visas įvesties laukas1.00002: Angliškų eilučių išteklių sąraše trūksta įrašo, angliška programos versija negalėjo atidaryti pagrindinių nustatymų dialogo lango...1.00001: generuojamas daug daugiau vietos taupanti APK failo versijaRaktiniai žodžiai: tiesos lentelės tiesos lentelės tiesos lentelės Wahrheitstafel Wahrheitstafeln Wahrheitstabelle Wahrheitstabellen Aussagenlogik Logik Naujausi pakeitimai: priežiūros leidimas (labai retais atvejais programa gali užsidaryti pakeitus įrenginio orientaciją nustatymų dialogo lange atvira)Turinio įvertinimas: Visi