Theorems of Boolean Algebra - Search