The use of logical relations (usually expressed in terms of Boolean algebra) in digital switching circuits. Pioneered a long time ago by the information theorist Claude Shannon, who recognized the isomorphism between electrical circuits and formal logic.

Digital logic is the foundation for the design of digital circuits, such as those in microchips. People at companies like Intel, Motorola, and Texas Instruments know a lot about digital logic.