Truth Tables for Android APK

Opis

Edini namen tega programa je ustvarjanje in prikaz tabel resnic. Torej, moji kolegi logiki: Ne sprašujte se, kaj lahko program tabel resnic stori za vas – vprašajte, kaj lahko storite vi za program tabel resnic! Ta brezplačna različica podpira vse običajne konektive klasične logike, to je negacijo, konjunkcijo, (vključno) disjunkcija, pogojna (materialna implikacija) in dvopogojna (materialna enakovrednost), kot tudi konstanti 1 in 0, ki označujeta resnico oziroma laž. Kul stvar je, da lahko poleg nekoliko dolgočasnega standardnega zapisa logike uporabite tudi Lukasiewiczev poenostavljen, sijoč poljski zapis! Ali ni to dogovor? In to se ne ustavi tukaj. Če ste prizemljena in zdravorazumska oseba, vas bo pomirilo, da program privzeto uporablja klasično, dvovrednostno logiko. Če pa ste bolj pustolovski tip in se nikoli ne ustavite pred pustolovščino, ki jo lahko ponudi življenje, boste z veseljem izvedeli, da Truth Tables za Android podpira tudi številne neklasične sisteme logike z več vrednostmi. Nikoli ne vstopite v reko dvakrat in dve negativni oceni tako rekoč ne pomenita potrditve! Pri izdelavi te aplikacije ni bila poškodovana nobena žival. Zgodovina različice 3.020001 - vzdrževalna izdaja 3.01002 - omogoča fiksno orientacijo (zahteva uporabnik) 3.01: Dodajanje drsnih trakov (na zahtevo uporabnika) 3.0: To je velika predelava notranjega delovanja, ki vodi do bolj gladke in praktično neomejene uporabniške izkušnje (ni več ustreznih omejitev glede velikosti tabele resnic). 2.1: Zdaj lahko vnesete več kot en predlog hkrati (ločeno z vejicami). V tem primeru bo program prikazal integrirano tabelo resnic za vse predloge. 2.05: izbirno onemogoči mehko tipkovnico Android (na zahtevo uporabnika) 2.04: podpora za starejše različice Androida (od 1.6 naprej) in manjši popravek napake (pri vrtenju zaslon z odprtim pogovornim oknom z nastavitvami, spremenjene nastavitve iz tega pogovornega okna niso bile uveljavljene) 2.03: privlačnejši prikaz zgodovine vnesenih predlogov - zgolj kozmetično 2.02: dodajanje funkcije zgodovine za predloge (na zahtevo uporabnika) 2.01: dodajanje dodatna stopnja podrobnosti, ki prikazuje vrednotenja za kompleksne podizraze, vendar ne za atomske podizraze (zahteva ocenjeni uporabnik) 2.0: po želji tabela resnic prikazuje tudi vse vmesne rezultate ("podrobna tabela resnic"); notranje izboljšave1.000020101: dodajanje NAND, NOR in XOR (dolg pritisk na gumbe za konjunkcijo, disjunkcijo in ekvivalenco bo vnesel NAND, NOR in XOR)1.0000201: trajno shranjevanje globalnih nastavitev; dolg pritisk na gumb Izbriši počisti celotno vnosno polje1.00002: Zaradi manjkajočega vnosa na seznamu angleških nizovnih virov angleška različica aplikacije ni mogla odpreti glavnega pogovornega okna z nastavitvami...1.00001: generiranje veliko bolj prostorsko varčna različica datoteke APK Ključne besede: tabele resnic tabele resnic Wahrheitstafel Wahrheitstafeln Wahrheitstabelle Wahrheitstabellen Aussagenlogik LogikNedavne spremembe: vzdrževalna izdaja (v zelo redkih okoliščinah se lahko aplikacija zapre, ko spremenite orientacijo naprave v pogovornem oknu z nastavitvami odprto) Ocena vsebine: Vsi