Expresiones Booleanas

Circuito combinatorio. Los datos de salida de un circuito combinatorio están unívocamente determinados
para toda combinación de datos de entrada. No tiene memoria; los datos de entrada anteriores y el estado del
sistema no afectan los datos de salida de un circuito combinatorio. Pueden construirse usando dispositivos de
estado sólido, llamados compuertas, que son capaces de hacer cambios de nivel en el voltaje (bits).
Compuerta lógica. Es un circuito electrónico que implementan las operaciones lógicas (Y, O, NO).
Tabla de verdad. Es una tabulación que nos muestra la relación que existe entre las entradas y las salidas de
un circuito digital.
Compuerta AND (^)
La salida es un ‘1’ sólo cuando ambas entradas son ‘1’.
Representación simbólica y tabla de verdad
Compuerta OR (v)
La salida es un ‘0’ sólo cuando ambas entradas son ‘0’.
Representación simbólica y tabla de verdad
Compuerta NOT ( - )
La salida es un ‘1’ si la entrada es ‘0’ y viceversa.
Representación simbólica y tabla de verdad

Compuerta NAND.
La salida es un ‘0’ sólo cuando ambas entradas son ‘1’.
Representación simbólica y tabla de verdad
Compuerta NOR.
La salida es un ‘1’ sólo cuando ambas entradas son ‘0’.
Representación simbólica y tabla de verdad
Compuerta EX – OR (o XOR).
La salida es un ‘1’ cuando o una entrada o la otra es ‘1’ pero no las dos al mismo tiempo.
Representación simbólica y tabla de verdad
Compuerta EX – NOR (o XNOR).
La salida es un ‘0’ cuando o una entrada o la otra es ‘1’ pero no las dos al mismo tiempo.

Representación simbólica y tabla de verdad

Función Lógica.
Un conjunto de compuertas construye a la salida una combinación lógica de las entradas que se expresa como
una función lógica. Esta función caracteriza al sistema.
Ejemplo de Función Lógica
Tabla de Verdad del Circuito anterior
Actividad
I. Escriba las expresiones booleanas que representan las funciones lógicas y su tabla de verdad (lógica).
II. Encuentre la función lógica y el valor de las siguientes expresiones booleanas cuando:
A = 1, B = 1, C = 0

4. A ˄ B
5. A ˅ ( B ˄ C )
6. ( A ˄ B ) ˅ ( A ˅ C )