Boolean Algebra. A Correction | AMiner