Chop Logic Core

This library contains a set of functions for working with symbolic logic formulas. At the moment the library is under development, but the tested functions can already be used in third-party projects.

Exposed Objects

1. Propositional Converter
2. Propositional XML Converter
3. Truth Table Generator
4. Propositional Executor
5. Propositional Validator
6. Propositional Replacer