Solve Boolean Equations