結果 : boolean algebra simplification problems