Simplifying Using Boolean Algebra