Boolean Reasoning: The Logic of Boolean Equations (Dover Books on Mathematics)