Boole's Method for Solving Boolean Equations