Lesson 4 of 16 · about 14 min
Logical equivalence
Two formulas are equivalent when they agree in every row of the truth table. You'll learn De Morgan's laws, the rules that let you push a "not" inside parentheses, and use them to simplify tangled conditions in code.
🔓 Unlock this lesson
This lesson is part of the DoingCamp Pass. Members get every lesson in every course, with all the interactive visuals, coding exercises and challenges.
In this lesson you'll learn:
- Logically equivalent (≡)
- De Morgan's laws
- Distributive laws
Free to try in F05 Logic & Proofs:
The first 3 lessons of every course are free, no account needed.