CMClearMathAcademy

Using Truth Tables to Test Equivalence

A free Logic lesson from the “Logical Equivalence” unit, with a worked example and practice problems including step-by-step solutions.

Truth tables test equivalence by comparing final columns. If the final columns match on every row, the statements are equivalent. Learning objective: Use truth tables to decide whether statements are equivalent. Prerequisite: No formal prerequisite. Work in this lesson starts with ordinary language, then connects the idea to symbols only after the meaning is clear. Example 1: ¬(p ∧ q) is equivalent to ¬p ∨ ¬q. Example 2: A conditional is equivalent to its contrapositive, not necessarily to its converse. A common misconception is to treat familiar wording as proof; instead, check exactly what the statement says and what follows from it.

What you'll learn

Why it matters: Equivalent statements let students rewrite claims without changing meaning, a key habit in algebra and proof.

Worked example

Problem. Example case A (Using Truth Tables to Test Equivalence): Worked example: Which rule or habit best matches Using Truth Tables to Test Equivalence?

  1. Using Truth Tables to Test Equivalence targets a specific reasoning habit.
  2. Using Truth Tables to Test Equivalence focuses on use truth tables to decide whether statements are equivalent.
  3. The other choices either overclaim or change the logical relationship.

Answer: Using Truth Tables to Test Equivalence focuses on use truth tables to decide whether statements are equivalent.

Practice problems

1. Practice case A (Using Truth Tables to Test Equivalence): Using De Morgan's Law, which statement is equivalent to ¬(p ∧ q)?

Choices: ¬p ∨ ¬q · ¬p ∧ ¬q · p ∨ q · p ∧ ¬q

Show solution
  1. Warm-up: First identify exactly what the question is asking: Practice case A (Using Truth Tables to Test Equivalence): Using De Morgan's Law, which statement is equivalent to ¬(p ∧ q)?
  2. Use De Morgan's Laws: negating an and statement changes it to or, and negating an or statement changes it to and.
  3. Use De Morgan's Law.
  4. Negating an and changes it to or.
  5. Negate both parts: ¬p ∨ ¬q.
  6. Verify the selected choice by checking that it preserves the stated logical meaning and that the other choices change the rule or claim.

Answer: ¬p ∨ ¬q

2. Practice case B (Using Truth Tables to Test Equivalence): Using De Morgan's Law, which statement is equivalent to ¬(p ∨ q)?

Choices: ¬p ∧ ¬q · ¬p ∨ ¬q · p ∧ q · p → q

Show solution
  1. Warm-up: First identify exactly what the question is asking: Practice case B (Using Truth Tables to Test Equivalence): Using De Morgan's Law, which statement is equivalent to ¬(p ∨ q)?
  2. Use De Morgan's Laws: negating an and statement changes it to or, and negating an or statement changes it to and.
  3. Use De Morgan's Law.
  4. Negating an or changes it to and.
  5. Negate both parts: ¬p ∧ ¬q.
  6. Verify the selected choice by checking that it preserves the stated logical meaning and that the other choices change the rule or claim.

Answer: ¬p ∧ ¬q

3. Practice case C (Using Truth Tables to Test Equivalence): Which statement is equivalent to p → q?

Choices: ¬q → ¬p · q → p · ¬p → ¬q · p ↔ q

Show solution
  1. Warm-up: First identify exactly what the question is asking: Practice case C (Using Truth Tables to Test Equivalence): Which statement is equivalent to p → q?
  2. For symbolic logic, translate the symbols into plain English, then apply the truth condition for the connective.
  3. A conditional matches its contrapositive.
  4. Switch and negate both parts.
  5. That gives ¬q → ¬p.
  6. Verify the selected choice by checking that it preserves the stated logical meaning and that the other choices change the rule or claim.

Answer: ¬q → ¬p

4. Practice case D (Using Truth Tables to Test Equivalence): How can a truth table show two statements are equivalent?

Choices: Their final columns match in every row. · They use the same number of letters. · One statement is longer. · Both contain an arrow.

Show solution
  1. Equivalence means same truth value in every case.
  2. Truth tables list every case.
  3. Matching final columns prove equivalence.

Answer: Their final columns match in every row.

5. Practice case E (Using Truth Tables to Test Equivalence): Lesson focus: Which transfer task would show readiness for Using Truth Tables to Test Equivalence?

Choices: Apply use truth tables to decide whether statements are equivalent in a new sentence or context. · Repeat the exact worked example without changing the context. · Pick an answer before identifying the claim parts. · Use a rule from another lesson because the words sound close.

Show solution
  1. A transfer task keeps the same objective but changes the surface context.
  2. Apply use truth tables to decide whether statements are equivalent in a new sentence or context.
  3. That is a better mastery signal than memorizing a practice prompt.

Answer: Apply use truth tables to decide whether statements are equivalent in a new sentence or context.

Practice this interactively with instant feedback and an AI tutor.

Practice Using Truth Tables to Test Equivalence Take the free placement check

More Logic lessons