結果 : logic simplification examples