Booleator A Boolean simplifying implementation based on Quine-Mclusky's algorithm for simplifying boolean expressions.