結果 : k map 3 variable solver