Académique Documents
Professionnel Documents
Culture Documents
1. ÁLGEBRA DE BOOLE
1.1. Axiomas
Las operaciones del álgebra de Boole cumplen una serie de axiomas que
dividiremos en tres grupos:
o Propiedad conmutativa:
a+b=b+a
a·b=b·a
o Propiedad asociativa:
a + b + c = a + (b + c) = (a + b) + c
a · b · c = a · (b · c) = (a · b) · c
o Propiedad distributiva:
a · (b + c) = a · b + a · c
a + b · c = (a + b) · (a + c)
o Idempotencia:
a+a=a
a·a=a
o Elemento neutro:
a+0=a
a·1=a
o Complementario:
a+ =1
a· =0
o Doble complementación:
=a
o Ley de absorción:
a+a·b=a
a · (a + b) = a
o Leyes de Morgan:
( )= ·
=( + )
2. PUERTAS LÓGICAS
Las puertas lógicas son dispositivos electrónicos que aceptan una o varias
señales de entrada en forma binaria y realizan una operación aritmética lógica sobre
ellas, para producir una señal de salida apropiada en función de la operación de que se
trate.
Se trata de circuitos electrónicos digitales integrados cuyo funcionamiento se
adapta a las operaciones y postulados del álgebra de Boole.
Se identifican con un símbolo gráfico y cada una de ellas tiene asociada una
tabla de verdad donde se indica el estado de la función de salida dependiendo de los
estados de las variables de entrada.
Las puertas lógicas se dividen en dos grandes grupos: básicas y especiales.
Son aquellas que realizan las operaciones del álgebra de Boole. Se corresponden
con puertas que integran los circuitos digitales reales.
PUERTA OR
PUERTA AND
PUERTA NOT
Son las puertas lógicas que derivan de las anteriores y tienen gran importancia
en la fabricación de circuitos integrados.
PUERTA NOR
PUERTA NAND
PUERTA XOR
PUERTA XNOR
Una función lógica es una variable binaria cuyo estado depende a su vez de otras
variables binarias relacionadas por medio de operaciones lógicas. Por ejemplo, el estado
de una lámpara activada por tres interruptores en serie.
Existen tres formas fundamentales de representar una función lógica.
Se basa en confeccionar una tabla en la que aparezcan todos los valores posibles
de la salida para cualquier combinación de las variables que forman la función lógica.
Una vez situados los minterms o maxterms agrupamos los términos adyacentes
siguiendo las siguientes reglas:
Hay que agrupar todos los términos (los que no sean indefinidos)
procurando conseguir grupos del máximo número de casillas.
Los agrupamientos serán de uno, dos, cuatro u ocho término contiguos
(siempre en potencias de dos) según los ejes coordenados, pero nunca en
ejes diagonales.
Un término canónico puede intervenir en distintos grupos.
Los términos indefinidos (X) pueden usarse para completar un grupo si
nos interesa las veces que haga falta.