CMClearMathAcademy

De Morgan's Laws

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

De Morgan's Laws explain how not moves across and/or statements: not (p and q) becomes not p or not q; not (p or q) becomes not p and not q. Learning objective: Use De Morgan's Laws to negate and/or statements. 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 (De Morgan's Laws): Which statement is equivalent to ¬(p ∧ q)?

  1. Worked Example: First identify exactly what the question is asking: Example case A (De Morgan's Laws): Which statement is equivalent to ¬(p ∧ q)?
  2. Compare each answer choice with the calculation or rule, and eliminate choices that do not satisfy the condition.
  3. Use De Morgan's Law.
  4. Negating an and changes it to or.

Answer: ¬p ∨ ¬q

Practice problems

1. Practice case A (De Morgan's Laws): 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 (De Morgan's Laws): Which statement is equivalent to ¬(p ∧ q)?
  2. Compare each answer choice with the calculation or rule, and eliminate choices that do not satisfy the condition.
  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 satisfies the original prompt and that the other choices fail the same test.

Answer: ¬p ∨ ¬q

2. Practice case B (De Morgan's Laws): 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 (De Morgan's Laws): Which statement is equivalent to ¬(p ∨ q)?
  2. Compare each answer choice with the calculation or rule, and eliminate choices that do not satisfy the condition.
  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 satisfies the original prompt and that the other choices fail the same test.

Answer: ¬p ∧ ¬q

3. Practice case C (De Morgan's Laws): 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 (De Morgan's Laws): Which statement is equivalent to p → q?
  2. Compare each answer choice with the calculation or rule, and eliminate choices that do not satisfy the condition.
  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 satisfies the original prompt and that the other choices fail the same test.

Answer: ¬q → ¬p

4. Practice case D (De Morgan's Laws): 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 (De Morgan's Laws): Simplify ¬¬q.

Show solution
  1. Core Practice: First identify exactly what the question is asking: Practice case E (De Morgan's Laws): Simplify ¬¬q.
  2. Choose the operation or relationship that matches the wording, then carry it out one clear step at a time.
  3. Two negations cancel.
  4. The first negation flips q; the second flips back.
  5. So ¬¬q is q.
  6. Check the result by substituting or estimating: the response should match q and make sense in the original problem.

Answer: q

Practice this interactively with instant feedback and an AI tutor.

Practice De Morgan's Laws Take the free placement check

More Logic lessons