Strictly speaking, onemustuse truth tables to prove that something is not equivalent in an introductory course. (There are also methods from proof theory, but I would think that they are not introductory-level.) Are there similar examples with solutions in the textbook? What is the context, i.e., what are the surrounding sections about?