Simplify Using Boolean Laws