A Symbolic Analysis of Relay and Switching Circuits

The central move

Treat Boolean algebra as an engineering language for specifying, simplifying, and synthesizing relay circuits.

Why it had to exist

Telephone and control systems used large relay networks, but their design was tied to diagrams and case-by-case intuition. Engineers needed a way to reason about equivalence before wiring hardware.

Where it leads

Boolean logic → gates → adders and state machines → programmable digital computers.