Boolean Algebra Reduction