Truth Tables for Android APK

Beskrivelse

Det eneste formålet med dette programmet er å generere og vise sannhetstabeller. Så, mine medlogikere: Ikke spør hva sannhetstabell-programmet kan gjøre for deg - spør hva du kan gjøre for sannhetstabell-programmet! Denne gratisversjonen støtter alle vanlige koblinger for klassisk logikk, det vil si negasjon, konjunksjon, (inkluderende) disjunksjon, konditonell (materiell implikasjon) og bibetinget (materiell ekvivalens), samt konstantene 1 og 0 som angir henholdsvis sannhet og usannhet. En kul ting er at du, i tillegg til den litt kjedelige standardnotasjonen for logikk, kan bruke Lukasiewiczs strømlinjeformede, skinnende polske notasjon også! Er ikke det en avtale? Og det stopper ikke her. Hvis du er en jordnær person med sunn fornuft, vil du finne det betryggende at programmet som standard bruker klassisk logikk med to verdier. Men hvis du er mer av den eventyrlystne typen, og aldri stopper opp for et eventyr som livet kan by på, vil du bli glad for å lære at Truth Tables for Android også støtter en rekke ikke-klassiske, flerverdige logiske systemer. Gå aldri inn i en elv to ganger, og to negative gir ikke en bekreftelse, for å si det sånn! Ingen dyr har blitt skadet under utarbeidelsen av denne søknaden. Versjonshistorikk3.020001 - vedlikeholdsutgivelse3.01002 - gir mulighet for fast orientering (forespurt av en bruker)3.01: Legge til rullefelt (forespurt av en bruker)3.0: Dette er en stor omarbeiding av den indre funksjonen, som fører til en jevnere og praktisk talt ubegrenset brukeropplevelse (det er ingen mer relevante grenser for størrelsen på sannhetstabellen). 2.1: Nå kan du legge inn mer enn ett forslag om gangen (atskilt med komma). I dette tilfellet vil programmet vise en integrert sannhetstabell for alle forslagene.2.05: undertrykker valgfritt det myke Android-tastaturet (forespurt av en bruker) 2.04: støtte for eldre Android-versjoner (fra 1.6) pluss mindre feilrettinger (når du roterer skjerm med innstillingsdialogen åpen, endrede innstillinger fra denne dialogen ble ikke tatt i bruk)2.03: mer attraktiv visning av historien til innsendte forslag - rent kosmetisk2.02: legge til en historiefunksjon for forslag (forespurt av en bruker)2.01: legge til en tilleggsnivå som viser verdivurderingene for komplekse deluttrykk, men ikke for atomære deluttrykk (forespurt av en estimert bruker) 2.0: Eventuelt viser sannhetstabellen også alle mellomresultater ("detaljert sannhetstabell"); interne forbedringer1.000020101: legge til NAND, NOR og XOR (et langt trykk på knappene for konjunksjon, disjunksjon og ekvivalens vil gå inn i henholdsvis NAND, NOR og XOR)1.0000201: vedvarende lagre de globale innstillingene; et langt trykk på Slett-knappen sletter hele inntastingsfeltet 1.00002: På grunn av en oppføring som mangler i listen over de engelske strengressurser, kunne ikke den engelske versjonen av applikasjonen åpne hovedinnstillingsdialogen...1.00001: genererer en mye mer plassbesparende versjon av APK-filen Nøkkelord: sannhetstabeller sannhetstabeller sannhetstabell Wahrheitstabell Wahrheitstabellen Wahrheitstabelle Wahrheitstabellen Aussagenlogik LogikNylige endringer:vedlikeholdsutgivelse (under svært sjeldne omstendigheter kan applikasjonen lukkes når enhetens orientering endres med innstillingsdialogen åpen) Innholdsvurdering: Alle