Truth Tables

4,2
527 umsagnir
100 þ.+
Niðurhal
Efnisflokkun
Ekkert aldurstakmark
Skjámynd
Skjámynd
Skjámynd
Skjámynd
Skjámynd
Skjámynd
Skjámynd
Skjámynd

Um þetta forrit

Í þeim tilgangi þessarar áætlunar er að búa, og sýna, borðum sanngildi.

This frjáls útgáfa styður allar venjulegar connectives af klassískum rökum, það er negation, tengslum, (að báðum meðtöldum) disjunction, conditonal (efni vísbendingu), og biconditional (efni jafngildi), sem og fastar 1 og 0 denoting sannleika og lygi, hver um sig. A kaldur hlutur er að, auk nokkuð leiðinlegur staðall merki rökfræði, þú getur notað á-lína, glansandi pólska tákn Lukasiewicz er líka.

Og það þýðir ekki að hætta hér. Ef þú ert niður-til-jörð, algengar-vit konar manneskja, þú vilja finna það hughreystandi að með því sjálfgefið, the program notar klassíska, tveggja metin, rökfræði. En ef þú ert meira af ævintýralegur tegund, aldrei hætt stutt fyrirtækis, verður þú að vera ánægð með að læra að sannleikurinn Töflur fyrir Android styður fjölda af non-klassískum, multi-gildi kerfi rökfræði, líka. Aldrei inn ána tvisvar, og tveir filmur gera ekki staðfesting, svo að segja!
Uppfært
14. nóv. 2013

Gagnaöryggi

Öryggi hefst með skilningi á því hvernig þróunaraðilar safna og deila gögnunum þínum. Persónuvernd gagna og öryggisráðstafanir geta verið breytilegar miðað við notkun, svæði og aldur notandans. Þetta eru upplýsingar frá þróunaraðilanum og viðkomandi kann að uppfæra þær með tímanum.
Engum gögnum deilt með þriðju aðilum
Nánar um yfirlýsingar þróunaraðila um deilingu gagna
Engum gögnum safnað
Nánar um yfirlýsingar þróunaraðila um gagnasöfnun

Einkunnir og umsagnir

4,3
484 umsagnir

Nýjungar

* 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)