Solve Boolean problems