Logic & Proof
Math · Foundational · Lesson 1 of 8

And, Or, Not

Truth tables

An interactive lesson with 6 steps, about 5 minutes: you predict, drag and solve, with instant feedback on every answer. It runs in your browser and needs JavaScript.

What you’ll learn

  • Logical “or” is inclusive. “And” needs both parts to be true.
  • De Morgan: not (P and Q) = not P or not Q, and the other way round.
  • Negating “all” gives “at least one isn’t”.

Steps

  1. Or means…?
  2. Truth tables
  3. Flip the switches
  4. How many rows?
  5. Negate “and”
  6. Negate “all”