Performing operations over logical expressions
Current implementation deals with logical expressions as computation graphs and performs some operations, such as:
- Computation of truth table
- Computation of index form for logical function
- Computation of PCNF/PDNF
- Computation of numerical from for PCNF/PDNF
- Minimization of PCNF/PDNF
Current implementation's functionality is extremely limited (it's basically a toy example) and this package is therefore not appropriate for any major use. All this was created as part of university work.
You can find source files in this repository (src/..), but you may be interested in IPython implementation as well.