| Waarheid-tafel widget Creëert de waarheidstabellen voor klassieke logische proposities direct op uw dashboard. |
Download nu |
Waarheid-tafel widget Rangschikking & Samenvatting
- Naam uitgever:
- Christian Gottschall
- Uitgever website:
- http://logik.phl.univie.ac.at/~chris/homepage-uk.html
- Besturingssystemen:
- Mac OS X 10.4 or later
Waarheid-tafel widget Tags
Waarheid-tafel widget Beschrijving
Creëert de waarheidstafels voor klassieke logische proposities direct op uw dashboard. Truth-Table Widget Displays Truth-tabellen voor proposities van klassieke logica.Truth-Table-widget ondersteunt alle gebruikelijke connectives, dat is ontkenning, conjunctie, (inclusief) Disjunctie, conditie (materiële implicatie), biconditional (materiële gelijkwaardigheid), exclusief Disjuncon (XOR ), de PEIRCE-operator (noch), de Sheffer-operator (NAND), evenals de constanten 1 en 0 die respectievelijk de waarheid en valsheid aanduiden, kunnen de proposities worden ingevoerd, hetzij in Poolse notatie of in Infix (standaard) notatie. Wat is er nieuw in deze release: · Bepaalde codeoptimalisaties. · De propositie ingevoerd door de gebruiker wordt verfraaid.
Waarheid-tafel widget Gerelateerde software