This document discusses simplification of circuits through Demorgan's theorem and Karnaugh maps. It begins with an introduction and table of contents. It then covers Demorgan's theorem, proving it using truth tables. It also discusses simplification using Boolean laws and defines various Boolean logic terms. The document covers Karnaugh maps for 2, 3, and 4 variables and how to simplify using them. It also discusses logic gates like AND, OR, NOT, NAND, NOR, XOR and XNOR gates through their truth tables and diagrams. Finally, it covers DeMorgan's theorems, proving them using truth tables and logic gates.