結果 : logical equivalence example problems