Truth Tables

4,2
528 anmeldelser
100k+
Nedlastinger
Egnethet
Alle
Skjermbilde
Skjermbilde
Skjermbilde
Skjermbilde
Skjermbilde
Skjermbilde
Skjermbilde
Skjermbilde

Om denne appen

Det eneste formålet med dette programmet er å generere, og vise, sannhetstabeller.

Denne gratis versjonen støtter alle vanlige connectives av klassisk logikk, er at negasjon, konjunksjon, (inkluderende) disjunksjon, conditonal (material implikasjon), og Biconditional (material ekvivalens), samt konstantene 1 og 0 betegner sannhet og løgn, henholdsvis. En kul ting er at, foruten litt kjedelig standard notasjon av logikk, kan du bruke Lukasiewicz stream-lined, skinnende polsk notasjon, også.

Og det stopper ikke her. Hvis du er down-to-earth, common-sense type person, vil du finne det betryggende at ved standard bruker programmet klassisk, to-verdsatt, logikk. Men hvis du er mer av den eventyrlystne typen, aldri stoppe kort av en bedrift, vil du bli glad for å høre at sannheten tabeller for Android støtter en rekke ikke-klassiske, multi-verdsatte systemer av logikk, også. Aldri oppgi en elv to ganger, og to negativer ikke avgi forsikring, så å si!
Oppdatert
14. nov. 2013

Datasikkerhet

Sikkerhet starter med en forståelse av hvordan utviklere samler inn og deler dataene dine. Fremgangsmåtene for personvern og datasikkerhet kan variere basert på bruk, region og alder. Utvikleren har oppgitt denne informasjonen og kan oppdatere den over tid.
Ingen data deles med tredjeparter
Finn ut mer om hvordan utviklere deklarerer deling
Ingen data samles inn
Finn ut mer om hvordan utviklere deklarerer innsamling

Vurderinger og anmeldelser

4,2
485 anmeldelser

Nyheter

* NAND and NOR are more prominent for most screen sizes (requested by a user)
* cleaning up layouts (please report any problem with exotic devices)
* allowing "*" and "+" for conjunction and disjunction, respectively (requested by a user)
* optionally showing separator lines between main columns (requested by a user)
* on-screen keyboard optionally showing the propositional letters A, B, C,... instead of P, Q, R,... (requested by a user)