Tip 1: For contrapositive questions, apply the rule mechanically — negate both parts and swap. Remember De Morgan's when negating conjunctions/disjunctions. Tip 2: For negation questions, identify the outermost connective first, then apply the appropriate negation rule. Tip 3: The negation of p => q is p AND ~q (not ~p => ~q, which is the inverse). This is the most common error. Tip 4: For tautology identification, check if the statement can ever be false — if you cannot make it false, it is a tautology. Tip 5: For quantifier negation, just swap the quantifier and negate the predicate. Tip 6: Remember that p => q is vacuously true when p is false — this catches many students. Tip 7: These questions are conceptual and quick to solve if formulas are known — do them early in the exam to build confidence.