Este documento describe los conceptos fundamentales de la simulación de circuitos lógicos, incluyendo cómo obtener una ecuación y tabla de verdad a partir de un circuito, y viceversa. Explica que una ecuación booleana puede usarse para derivar un diagrama de circuito, y que una tabla de verdad puede obtenerse probando todas las combinaciones de entrada o suponiendo valores de salida. También incluye ejemplos de funciones y tablas de verdad.