Ainus eesmärk on see programm tekitab, ja näitama, tõde tabelid.
See tasuta versioon toetab kõiki tavalisi konnektiivit klassikalise loogika, mis on eitus, koos, (kaasa arvatud) disjunktsiooni, conditonal (materjal kaudselt) ja biconditional (materjal samaväärsus), samuti konstandid 1 ja 0 tähistab tõde ja valet, vastavalt. Lahe asi on see, et lisaks veidi igav standard märke loogika, võite kasutada Lukasiewicz on ladusamaks, läikiv poola märke ka.
Ja see ei lõpe siin. Kui teil on elulähedane, mõistus inimene, leiad ta rahustav, et vaikimisi, programm kasutab klassikaline, kaks väärtust, loogika. Aga kui te olete rohkem seiklusliku tüüp, kunagi peatumisteekonna lühikeste ettevõtte, siis on hea meel teada, et tõde tabelid Android toetab mitmeid mitte-klassikaline, mitmene süsteemide loogika ka. Kunagi sisestage jõe kaks korda ja kaks negatiivi ei tee kinnitus niiöelda!
Värskendatud:
14. nov 2013