Usage Notes:
- Acceptable variables are:
a,b, ...,z. - Acceptable connectives are:
~(not),&(and),|(or),>(implication),=(equivalence),0(false),1(true), listed in order of operator precedence. - Use parenthesis to manually specify precedence, e.g.,
~(p&q).