結果 : 4 variable k map rules