結果 : 3 variable k map solver