App Donkey - Download Free Mac Applications
Download Mac Freeware

How it works:
1. Add apps to Your Downloads
2. Download them all at once.
Your Downloads
Add Some Apps!
Your Apps
Download size:
0.00 KB

Truth-Table Widget for Mac

truth-tables for propositions of classical logic

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.