Boolean Algebra in Circuits: Truth Tables, Logic Gates, and PLC Design

Boolean algebra is a branch of mathematics where variables represent binary truth values—typically 1 (True/High) and 0 (False/Low)—used to analyze and simplify digital logic circuits. In a physical electrical installation or PCB design, it changes exactly when a downstream load receives power, acting as the mathematical rulebook that dictates whether a 24V DC contactor coil energizes, a safety interlock trips, or a 5V microcontroller interrupt triggers based on a specific combination of sensor inputs.

Unlike standard algebra, which deals with continuous numbers and arithmetic operations like addition and multiplication, boolean algebra deals exclusively with logical states. If you are designing a hardware safety circuit or writing firmware for an ESP32, understanding these rules prevents catastrophic logic failures, such as a motor starting when a safety door is open.

Core Logic States and 5V CMOS Voltage Equivalents

Before wiring up discrete logic gates or programming a programmable logic controller (PLC), you need to map abstract 1s and 0s to real-world voltages. The table below outlines the fundamental 2-input boolean operations alongside their physical voltage equivalents when using standard 5V CMOS logic (like the widely used 74HC series).

Notice that the NAND and NOR gates output a Logic 1 (5.0V) when both inputs are low. This inversion is critical in hardware design because NAND and NOR gates are 'universal gates'—you can build any other boolean function using only NAND gates, which simplifies PCB layout and reduces bill-of-materials (BOM) costs by standardizing on a single chip type like the 74HC00 (Quad 2-Input NAND).

Worked Example: Hardware Interlock for a Motor Driver

Let us move from abstract truth tables to a real-world bench scenario. You are designing a hardware enable pin for a CNC router spindle motor. The motor should only run if the safety door is closed AND the operator presses the 'Start' button. We will use a 74HC08 (Quad 2-Input AND Gate) powered at V_CC = 5.0V.

The Inputs:

• Sensor A (Door Switch): A magnetic reed switch that outputs 4.8V when the door is closed (Logic 1), and 0.2V when open (Logic 0).
• Input B (Start Button): A momentary pushbutton with a pull-down resistor that outputs 5.0V when pressed (Logic 1), and 0V when released (Logic 0).

The Boolean Expression:
Output Y = A · B

Evaluating the States:

1. Door Open, Button Pressed: Sensor A outputs 0.2V. Because 0.2V is well below the maximum V_IL threshold of 1.35V, the chip registers A = 0. Input B is 5.0V (Logic 1). Applying boolean algebra: 0 · 1 = 0. The 74HC08 outputs 0V. The motor driver remains disabled. The physical load does not receive power.
2. Door Closed, Button Pressed: Sensor A outputs 4.8V (above the 3.15V V_IH threshold, so A = 1). Input B is 5.0V (Logic 1). Applying the rule: 1 · 1 = 1. The 74HC08 outputs approximately 4.9V (accounting for a tiny internal voltage drop). This 4.9V signal triggers the motor driver's enable pin, energizing the spindle.

Propagation Delay Calculation:
In high-speed digital circuits, boolean operations are not instantaneous. According to the Texas Instruments 74HC08 datasheet, the typical propagation delay (t_pd) at 5V is 9 nanoseconds. If your safety circuit requires cascading three AND gates to evaluate five different sensor inputs, the total boolean evaluation delay is roughly 27ns. While negligible for a mechanical motor contactor, this delay is critical if you are using logic gates to gate a 20MHz SPI clock signal, where a 27ns delay represents more than half a clock cycle and will cause data corruption.

Where You Meet This in Practice

You do not need to be designing silicon microchips to use boolean algebra. It appears constantly in three specific areas of electrical and electronics work:

1. PLC Ladder Logic (Industrial Automation)

In programmable logic controllers, boolean algebra is visualized as ladder logic. A normally open (NO) contact represents a standard variable (A), while a normally closed (NC) contact represents a NOT operation (A'). Placing contacts in series creates an AND function; placing them in parallel creates an OR function. If you are troubleshooting a conveyor belt that refuses to start, tracing the boolean logic path of the E-Stop (NC), the photoeye (NO), and the start relay (NO) is the fastest way to isolate the fault.

2. Microcontroller GPIO and Firmware

When writing C++ for an Arduino or ESP32, you are executing boolean algebra in software. Configuring a pin as an input with an internal pull-up resistor means the default state is 1 (High), and pressing a grounded button changes it to 0 (Low). This requires an active-low boolean evaluation in your code. Understanding ESP32 GPIO configurations ensures you do not accidentally create a short circuit or misread a sensor state due to floating pins.

3. Relay Logic and Safety Interlocks

Before PLCs, boolean algebra was implemented physically using electromechanical relays. Series-wired relay contacts performed AND operations, while parallel contacts performed OR. Today, hardwired relay logic is still mandated by safety standards (like IEC 62061) for critical E-Stop circuits because a physical mechanical failure is less likely to cause a dangerous state than a software crash.

Common Confusions: Boolean vs. Standard Algebra

The most frequent mistakes makers and junior technicians make stem from applying standard arithmetic rules to boolean variables. Here is what people commonly confuse:

Bitwise vs. Logical Operators in Code:
When programming microcontrollers, confusing bitwise operators with logical operators leads to subtle, hard-to-debug errors.

• Logical AND (&&): Evaluates the overall truth of two statements. (5 && 2) evaluates to true (or 1) because both numbers are non-zero.
• Bitwise AND (&): Compares the binary representation of the numbers bit-by-bit. (5 & 2) compares 0101 and 0010. The result is 0000 (or 0), because no corresponding bits are both 1.

If you are checking sensor registers via I2C or SPI, you must use the bitwise AND (&) with a bitmask to isolate specific bits. Using the logical AND (&&) will return a boolean 1, destroying the actual register data you were trying to read. For a deeper dive into these mathematical identities, the All About Circuits digital textbook provides an excellent breakdown of De Morgan's Theorems, which are essential for converting AND gates to OR gates when dealing with active-low signals.