De Morgan's Theorem Visualizer
Description
Visualize De Morgan's theorems showing how NAND and NOR gates can be represented as OR and AND gates with inverted inputs. Toggle inputs to verify both forms produce the same output.
Learning Objectives
Bloom Level: Analyze (L4)
After using this MicroSim, students will be able to:
- ✓ Compare equivalent circuit implementations
- ✓ Apply De Morgan's theorem to gate transformations
- ✓ Verify theorem by testing all input combinations
De Morgan's Theorems
- (A · B)' = A' + B': A NAND gate equals an OR gate with inverted inputs
- (A + B)' = A' · B': A NOR gate equals an AND gate with inverted inputs
How to Use
- Select which theorem to visualize
- Click the A and B toggles to change inputs
- Observe that both circuits produce the same output
- Verify for all four input combinations
References
- ● Unit 2: Boolean Algebra — De Morgan's Theorems