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).
HTML Output:
| p | q | ( | ¬ | ( | p | ∧ | q | ) | ) | |
|---|---|---|---|---|---|---|---|---|---|---|
| 1 | 1 | 0 | 1 | 1 | 1 | |||||
| 1 | 0 | 1 | 1 | 0 | 0 | |||||
| 0 | 1 | 1 | 0 | 0 | 1 | |||||
| 0 | 0 | 1 | 0 | 0 | 0 |