Logic gates, truth tables, logic circuits, and the use of Boolean algebra.