結果 : boolean simplification rules