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 merge cells in a K-map to minimize logic expressions. It also describes how the simplified logic function from a K-map can be implemented using AND and OR gates.