About Truth-Table Widget
This widget displays truth-tables for propositions of classical logic. It 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. The propositions may be entered either in standard (infix) notation or in Polish notation.
Whats New in this Version
- certain code optimizations, plus: the proposition entered by the user gets beautified
Apple is providing links to these applications as a courtesy, and makes no representations regarding the applications or any information related thereto. Any questions, complaints or claims regarding the applications must be directed to the appropriate software vendor.