結果 : logical equivalence examples