This document provides an overview of digital logic circuits. It begins with an introduction to logic gates and Boolean algebra. Common logic gates like AND, OR, NAND, NOR, XOR and their truth tables are defined. Boolean algebra identities and theorems like De Morgan's theorem are discussed. Karnaugh maps are introduced as a method to simplify Boolean functions into their sum of products form. The document explains how to identify cells in the K-map and merge adjacent 1 cells to minimize logic expressions. It also describes how to implement the simplified logic function from the K-map using AND and OR gates.