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).
LaTeX Output:
\begin{array}{c|c@{}ccc@{}cc@{}c@{}c}
p&(&p&\land&(&\lnot&p&)&)\\\hline
1&&1&\mathbf{0}&&0&1&&\\
0&&0&\mathbf{0}&&1&0&&
\end{array}