- f2ec411: add syntax validation
- 1f80ab3: Create new util functions to build formula objects and custom paths.
hotfix: publish updated dist
-
9f9f4da: Add support for new operator symbols.
& - Conjunction | - Disjunction ! - Negation
- 6ae48a1: change truth table type to an object
- 3c5a79a: truth table combinations are boolean by default
- d966728: add printTruthTable method
- 13bb8f5: add isTautology, isContingency and isContradiction methods to Frege class.
- 8ce7587: add changeset.