logical equivalence examples