Logic Simplification Script written in Rust made to simplify logical expressions and adhere to constraints.