1. If p is true and q is false, then ⟺ true.