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}