Este documento presenta los teoremas del álgebra booleana y muestra ejemplos de cómo usarlos para simplificar circuitos lógicos y derivar expresiones booleanas a partir de tablas de verdad. En particular, cubre la tabla de 16 teoremas booleanos fundamentales y sus duales, y proporciona dos ejemplos detallados de cómo aplicar los teoremas para simplificar expresiones y circuitos.