14105 | There seem to be eight or nine logical constants [Russell] |
10762 | In sentential logic there is a simple proof that all truth functions can be reduced to 'not' and 'and' [Tharp] |
10896 | Propositional logic just needs ¬, and one of ∧, ∨ and → [Zalabardo] |