Boolean Reasoning (The Logic of Boolean Equations)