Circuitos
lógicos
Los circuitos lógicos se forman combinando compuertas
lógicas. La salida de un circuito lógico se obtiene combinando las tablas correspondientes
a sus compuertas componentes.
Por ejemplo:
Es fácil notar que las tablas correspondientes a las
compuertas OR, AND y NOT son respectivamente idénticas a las tablas de verdad
de la disyunción, la conjunción y la negación en la lógica de enunciados, donde
sólo se ha cambiado V y F por 0 y 1. Por lo tanto, los circuitos lógicos, de
los cuales tales compuertas son elementos, forman un álgebra de Boole al igual
que los enunciados de la lógica de enunciados.
Adoptaremos, entonces, aquí las mismas convenciones
adoptadas en el caso del álgebra de Boole:
• Omitimos el símbolo *, usándose en su lugar la
yuxtaposición de variables.
• Establecemos que + es más fuerte que * y * es más
fuerte que - .
Puesto que tanto el álgebra de Boole es la estructura
algebraica tanto de los circuitos como de la lógica de enunciados, la salida de
un circuito lógico también puede expresarse en el lenguaje de la lógica de
enunciados. Por ejemplo, la salida del circuito anterior resulta:
Ejemplo:
La salida de este circuito,
expresada en el lenguaje de la lógica de enunciados, resulta:
No hay comentarios.:
Publicar un comentario