jbool_expressions is a simple open-source library for creating and manipulating propositional logic expressions in java - View it on GitHub