K map solver 4 variables. . ...