Boolean Simplifier

Step-by-step simplification with named laws.