Add logical connectives #24
Description
{and, not} is an adequate set of logical connectives for propositional logic. If we say that T = 1, and F = 0, then a and b = a b and not a = 1 - a. Then, it's just a matter of rewriting all of the other connectives in terms of this.