This document provides an overview of digital logic circuits and Boolean algebra. It discusses minimization techniques for Boolean expressions including Karnaugh maps. The basic types of logic gates like AND, OR, and NOT are described. Boolean algebra is defined as the algebra of binary variables and logic operations. Some key theorems of Boolean algebra are also summarized such as De Morgan's theorems.