Derivation of Boolean Equation - Search