3 Variable K Map Solver