This document discusses Boolean algebra and logic gates. It defines the complement of a function as changing all 0s to 1s and vice versa. De Morgan's laws are introduced, which allow complementing both sides of an equation. Circuits are represented using diagrams of logic gates and their inputs and outputs. Standard forms for representing Boolean expressions include sum of minterms and product of maxterms, which are defined as the ANDing and ORing of variables respectively. Minterms and maxterms are demonstrated using truth tables for two variables. The relationship between minterms and maxterms is that each equals the complement of the other.