En 6 de 6 exámenes (4 de 4 desde 2025)
Tabla de verdad: una fila por cada una de las 2ⁿ combinaciones de las n variables, en orden binario. Si el enunciado da un circuito, escribe la salida de cada puerta de izquierda a derecha; si da una función como Σm(…), pon un 1 en esos mintérminos.
Función canónica: suma de los mintérminos (un producto de todas las variables por cada fila con salida 1) o producto de maxtérminos (filas con salida 0).
Karnaugh: coloca los unos en el mapa con las columnas en código Gray (00, 01, 11, 10). Agrupa unos adyacentes en grupos de 1, 2, 4 u 8, lo más grandes posible (el mapa se cierra por los lados), y en cada grupo conserva las variables que no cambian. Escribe la función simplificada como suma de esos productos.
Circuito: una AND por cada producto, una OR para la suma y una NOT por cada variable negada. Si piden solo NAND, niega la función dos veces y aplica De Morgan (una NAND con las entradas unidas es un inversor); con NOR, al revés.
Para simplificar un circuito dado o hacerlo con puertas de dos entradas, escribe su función y simplifica con álgebra de Boole (De Morgan y absorción, por ejemplo (A + B)·B = B); comprueba con la tabla de verdad.





