Truth-Table WidgetCreates truth-tables for classical logic propositions right on your dashboard. | |
Download |
Truth-Table Widget Ranking & Summary
Advertisement
- License:
- Freeware
- Price:
- FREE
- Publisher Name:
- Christian Gottschall
- Publisher web site:
- http://logik.phl.univie.ac.at/~chris/homepage-uk.html
- Operating Systems:
- Mac OS X 10.4 or later
- File Size:
- 234 KB
Truth-Table Widget Tags
Truth-Table Widget Description
Creates truth-tables for classical logic propositions right on your dashboard. Truth-Table Widget displays truth-tables for propositions of classical logic.Truth-Table Widget supports all usual connectives, that is negation, conjunction, (inclusive) disjunction, conditonal (material implication), biconditional (material equivalence), exclusive disjuncton (XOR), the Peirce operator (NOR), the Sheffer operator (NAND), as well as the constants 1 and 0 denoting truth and falsehood, respectively.All the propositions can be entered either in Polish notation or in infix(standard) notation. What's New in This Release: · Certain code optimizations. · The proposition entered by the user gets beautified.
Truth-Table Widget Related Software