This file provides procedure to make the logical formula simpler. Note that the result may not be the simplest form. Be careful of computational complexity.
Procs
proc simplification(formula: PropLogicFormula): PropLogicFormula {. ...raises: [Exception, KeyError, ValueError], tags: [RootEffect], forbids: [].}
- Returns simpler and equivalent formula to given formula. This procedure is based on Quine–McCluskey algorithm (just based on). Note that this procedure does not always return the simplest formula. Be careful of computational complexity.