結果 : logical equivalence examples pdf