De Morgan's Law is a fundamental rule in Boolean algebra stating that inverting the output of an AND operation yields the exact same result as an OR operation with inverted inputs, and vice versa. When you are staring at a schematic, optimizing a bill of materials (BOM), or writing PLC ladder logic, this theorem is the mathematical bridge that lets you swap out unavailable hardware or simplify a messy rung of contacts into an efficient, functional circuit.
The Core Equations and Gate Equivalencies
At its core, De Morgan's theorems provide a way to break a long inversion bar (a NOT operation applied to a group of variables) into smaller, manageable pieces. The rule is often remembered by the phrase: "break the line, change the sign." When you break the inversion bar over a Boolean expression, the AND operation underneath changes to an OR, and an OR changes to an AND.
1. The complement of an AND is the OR of the complements: NOT (A AND B) = (NOT A) OR (NOT B)
2. The complement of an OR is the AND of the complements: NOT (A OR B) = (NOT A) AND (NOT B)
Here is the complete truth table proving the first theorem, demonstrating that a NAND gate behaves identically to an OR gate with inverted inputs (often called a "negative-OR" gate).
| Input A | Input B | NAND: NOT(A AND B) | Negative-OR: (NOT A) OR (NOT B) |
|---|---|---|---|
| 0 | 0 | 1 | 1 |
| 0 | 1 | 1 | 1 |
| 1 | 0 | 1 | 1 |
| 1 | 1 | 0 | 0 |
The physical analogy here is simple: think of switches in series (AND) versus switches in parallel (OR). If you want a circuit to turn off when either switch opens (parallel/negative-OR), it behaves exactly like a series circuit that only turns on when both switches are closed, but with the final output inverted (NAND).
Worked Numeric Example: Dual-Sensor Safety Interlock
Let us look at how this changes a real circuit. Suppose you are building a safety interlock for a 3D printer enclosure. The printer must halt (Output = LOW, 0V) if the door is opened (Sensor A goes HIGH, 5V) OR if the thermistor detects an over-temperature event (Sensor B goes HIGH, 5V). If both sensors are normal (0V), the printer runs (Output = HIGH, 5V).
The Logic Requirement: We need an output that goes LOW when A=1 OR B=1. This is exactly the truth table of a NOR gate: Output = NOT (A OR B).
The Hardware Problem: You open your component bin and realize you are completely out of 74HC02 (Quad 2-Input NOR) ICs. You only have 74HC00 (Quad 2-Input NAND) gates and 74HC04 (Hex Inverters).
The De Morgan's Solution:
Apply the second theorem: NOT (A OR B) = (NOT A) AND (NOT B).
- Pass Sensor A (5V/0V) through a 74HC04 inverter. Output is NOT A.
- Pass Sensor B (5V/0V) through a second 74HC04 inverter. Output is NOT B.
- Feed NOT A and NOT B into a 74HC00 NAND gate.
Numeric Walkthrough:
Let us test the fault condition where the door opens (A = 5V) but the temp is normal (B = 0V).
- Inverter 1 receives 5V (Logic 1) and outputs 0V (Logic 0).
- Inverter 2 receives 0V (Logic 0) and outputs 5V (Logic 1).
- The 74HC00 NAND gate receives inputs (0, 1). According to the NAND truth table, if any input is 0, the output is 1 (5V).
- Wait, we wanted the output to go LOW to halt the printer. Let us re-read our requirement. Ah, the printer halts on LOW. But our NAND output went HIGH.
Correcting the Circuit: We actually needed a NOR gate, but we built a NAND with inverted inputs. Let us apply De Morgan's to the NAND we just built: NOT (NOT A AND NOT B) = A OR B. To get our NOR function using only NANDs, we use the universal property of NAND gates. We invert A, invert B, feed them to a NAND, and then invert the final output. Alternatively, applying De Morgan's directly to our desired NOR function: NOT(A OR B) is logically identical to feeding A and B into an AND gate, and inverting the result. Since we lack AND gates, we use a NAND followed by an inverter.
If A=5V and B=0V: The NAND outputs 5V. The final inverter drops it to 0V, successfully halting the printer. De Morgan's law allows us to map any logical requirement to the specific silicon we have on the bench.
Where You Meet This in Practice
You will rarely sit down and write out Boolean algebra for a hobby project, but De Morgan's theorems silently govern several areas of modern electrical and embedded design.
1. Microcontroller Active-Low Interrupts
When configuring GPIO pins on an ESP32 or Arduino, you often deal with active-low interrupts (triggered when a pin is pulled to GND). If you want an interrupt to fire when either Button X or Button Y is pressed, and both are wired active-low, your hardware is performing a wired-AND. By De Morgan's law, an AND of inverted signals is equivalent to an OR of normal signals. Recognizing this prevents you from writing convoluted software debouncing routines when the hardware is already doing the logical OR for you.
2. PLC Ladder Logic Conversion
In industrial automation, Programmable Logic Controllers (PLCs) use ladder logic. Sensors are often wired as Normally Open (NO) or Normally Closed (NC). If a safety standard requires you to change a physical NC sensor to an NO sensor, the logic in the PLC will invert. To maintain the exact same machine behavior, you must apply De Morgan's theorem to the ladder rung: changing a series string of NC contacts (AND) to a parallel string of NO contacts (OR), while adjusting the output coil's inversion. For a deep dive into standard logic mappings, the All About Circuits digital textbook provides excellent schematic translations.
3. BOM Optimization in PCB Design
When designing a custom PCB, every unique IC footprint costs money and board space. Because of De Morgan's law (and the resulting proof that NAND and NOR are "universal" gates), hardware engineers often design entire logic subsystems using only 74HC00 NAND gates. This reduces the BOM to a single part number, streamlining assembly and inventory.
What People Commonly Confuse It With
The most frequent mistake makers and students make is confusing De Morgan's Law with the Distributive Law. The Distributive Law dictates how AND and OR operations distribute across each other (e.g., A AND (B OR C) = (A AND B) OR (A AND C)). De Morgan's Law exclusively deals with inversions (NOT operations) applied to grouped variables.
Another common error occurs when applying the "break the line, change the sign" rule. Engineers will break the inversion bar and change the AND to an OR, but they will forget to apply individual inversion bubbles to the newly separated variables. If you start with NOT(A AND B), breaking the bar gives you (NOT A) OR (NOT B). If you drop the individual NOTs and just write A OR B, your circuit will fail catastrophically. Always draw the inversion bubbles on your schematic immediately after breaking the bar.
Frequently Asked Questions
How do you apply De Morgan's law to physical logic gates?
To apply it physically, look at the inversion bubbles on your schematic. A standard AND gate with a bubble on the output (a NAND gate) is logically identical to an OR gate with bubbles on its inputs. If you are out of OR gates, you can wire a NAND gate and place inverters on its inputs to achieve the exact same truth table. This is heavily utilized when standardizing a design around a single universal gate IC.
What is the difference between De Morgan's law and the distributive law?
De Morgan's law specifically defines how a NOT operation (inversion) distributes over an AND or OR operation, fundamentally changing the operator type (AND becomes OR). The distributive law, conversely, defines how an AND operation distributes over an OR operation (or vice versa) without any inversion taking place, and the operator types remain the same.
Why is De Morgan's theorem important in PLC programming?
In PLC programming, physical field devices (like E-stops and limit switches) are wired as either Normally Open (NO) or Normally Closed (NC). If a hardware revision forces you to swap an NC sensor for an NO sensor, the logical state of that input inverts. De Morgan's theorem allows the programmer to mathematically restructure the ladder logic rung—swapping series contacts for parallel contacts—to ensure the machine's safety and operational logic remains identical despite the hardware change.
