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
- Propositional Converter
- Propositional XML Converter
- Truth Table Generator
- Propositional Executor
- Propositional Validator
- Propositional Replacer