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}{cc|c@{}c@{}ccc@{}ccc@{}ccc@{}cc@{}c@{}c@{}c}
a&b&(&(&a&\rightarrow&b&)&\lor&(&a&\rightarrow&(&\lnot&b&)&)&)\\\hline
1&1&&&1&1&1&&\mathbf{1}&&1&0&&0&1&&&\\
1&0&&&1&0&0&&\mathbf{1}&&1&1&&1&0&&&\\
0&1&&&0&1&1&&\mathbf{1}&&0&1&&0&1&&&\\
0&0&&&0&1&0&&\mathbf{1}&&0&1&&1&0&&&
\end{array}