karnaugh map solver 3 variables - Search