Expression Simplification And Optimization Suggestions

Unique: Implements a rule-based simplification engine that applies Boolean algebra identities to the AST, tracking which rules were applied and allowing users to see the step-by-step transformation from original to simplified form

vs others: More educational than automated tools like Quine-McCluskey because it shows the algebraic steps and rules applied, whereas black-box optimizers only show the final result without teaching the underlying principles