Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Algebra de Boole
Algebra de Boole
INTRODUCCIN
A LOS
CIRCUITOS LGICOS
1.
LGEBRA DE BOOLE
2.
R. ESPINOSA R. y P. FUENTES R.
1-1
1. LGEBRA DE BOOLE
El lgebra de Boole se llama as debido a George Boole, quien la desarroll a mediados del
siglo XIX. El lgebra de Boole denominada tambin lgebra de la lgica, permite prescindir de la
intuicin y simplificar deductivamente afirmaciones lgicas que son todava ms complejas.
El objetivo principal de este captulo es llegar a manejar los postulados y teoremas del
lgebra de Boole como herramienta bsica en el anlisis y sntesis de circuitos digitales.
1.1. DEFINICIONES.
El sistema matemtico denominado lgebra Booleana, es un mtodo simblico de estudiar
relaciones lgicas, el cual se desarrolla en tres partes:
1.
2.
3.
1.
Los postulados deben ser coherentes o consistentes para que un lgebra definida pueda
desarrollarse por deducciones lgicas. En caso contrario, el sistema resultara contradictorio.
2.
3.
Los postulados deben ser tan simples en su enunciado como sea posible; es decir, no
separables en dos o ms partes.
1.2. POSTULADOS.
En base a los elementos primitivos establecidos anteriormente, se formulan los siguientes
postulados (axiomas), que por definicin no requieren de demostracin.
P.1.
P.2.a.
Para toda (A , B) 0 M, A + B es una operacin binaria denotada por el signo +, tal que (A
+ B) 0 M.
P.2.b.
Para toda (A , B) 0 M, A C B es una operacin binaria denotada por el signo C, tal que
(A C B) 0 M.
P.3.a.
P.3.b.
1-2
P.4.a.
Para toda (A , B) 0 M; A + B = B + A
P.4.b.
Para toda (A , B) 0 M; A C B = B C A
P.5.a.
P.5.b.
P.6.a.
, tal que:
P.6.b.
, tal que:
P.7.
Se habr observado cierta similitud entre estos postulados y los del lgebra ordinaria. Ntese
sin embargo, que la primera ley distributiva P.5.a. no es vlida en el lgebra ordinaria y que
tampoco existe ningn elemento
en dicha lgebra.
Tambin se notar que los postulados de Huntington se presentaron por pares. Una
observacin ms detenida, muestra que existe una dualidad entre + y C, lo mismo que entre 1 y
0. Si el smbolo + se substituye por C y C por +, as como todos los 1 se sustituyen por 0 y todos
los 0 por 1 en cualquiera de los postulados de cada par, el resultado es el otro postulado. A causa
de esta dualidad fundamental, cada teorema que se presenta tendr su dual que se obtendr
efectuando la sustitucin mencionada; por tanto, la demostracin de un teorema implica la validez
de su teorema dual.
2.
3.
R. ESPINOSA R. y P. FUENTES R.
1-3
Aqu se emplear el mtodo algebraico pues se considera la mejor manera de iniciarse en esta
lgebra, adems de que slo se demostrarn los teoremas primales, pero aplicando las reglas de
dualidad mencionadas anteriormente, se podr obtener la parte dual.
T.1.
Si
Si 0 es neutro, entonces:
(1)
Si 01 es neutro, entonces:
(2)
T.2.
R. ESPINOSA R. y P. FUENTES R.
1-4
DEMOSTRACIN DE 2.a.
(P.3.b.)
(P.6.a.)
(P.5.a.)
(P.6.b.)
(P.3.a.)
T.3.
DEMOSTRACIN DE 3.a.
(P.3.b.)
(P.6.a.)
(P.5.a.)
(P.3.b.)
(P.6.a.)
T.4.
TEOREMAS DE LA ABSORCIN.
DEMOSTRACIN DE 4.a.
(P.3.b.)
(P.5.b.)
(T.3.a.)
(P.3.b.)
R. ESPINOSA R. y P. FUENTES R.
1-5
T.5.
EL ELEMENTO
ES NICO.
DEMOSTRACIN
, tales que:
(P.6.a.) Por suposicin
(P.6.b.) Por suposicin
Entonces:
(P.3.b.)
Por suposicin
(P.5.b.)
Por suposicin
Por suposicin
(P.5.b.)
Por suposicin
(P.b.3.)
T.6.
PARA TODA
DEMOSTRACIN
Sea
, por tanto:
(P.6.)
Pero:
(P.6.)
R. ESPINOSA R. y P. FUENTES R.
1-6
T.7.
DEMOSTRACIN DE 7.a.
(P.5.b.)
(P.5.b.)
(T.2.)
(P.5.b.)
(T.3.)
(P.3.b.)
T.8.
DEMOSTRACIN DE 8.a.
Sea:
(P.5.b.)
(T.7.)
(P.5.b.)
(T.7.)
(1)
(T.7.)
R. ESPINOSA R. y P. FUENTES R.
1-7
Como:
(P.5.b.)
(T.7.)
(T.7.)
(2)
(T.7.)
T.9.
DEMOSTRACIN DE 9.a.
(P.5.a.)
(P.6.a.)
(P.3.b.)
DEMOSTRACIN DE 10.a.
PRIMERA PARTE.
(P.5.a.)
R. ESPINOSA R. y P. FUENTES R.
1-8
(P.4.a.)
(T.8.)
(P.6.a.)
(T.3.a.)
(1)
(T.2.b.)
SEGUNDA PARTE.
(P.4.b.)
(P.5.b.)
(P.6.b.)
(2)
(T.2.a.)
T.11
DEMOSTRACIN DE 11.a
(P.3.b.)
(P.6.b.)
(P.5.b.)
(T.2.)
(P.5.a.)
(P.6.a.)
R. ESPINOSA R. y P. FUENTES R.
1-9
(P.3.b.)
T.12
DEMOSTRACIN DE 12.a.
(P.5.b.)
(T.9.a.)
(P.5.b.)
T.13
DEMOSTRACIN DE 13.a
(P.5.b.)
(P.6.b.)
R. ESPINOSA R. y P. FUENTES R.
1-10
TEOREMA DUAL
T.1.a.
0 ES UNICO
T.1.b.
1 ES UNICO
T.2.a.
A+A=A
T.2.b.
ACA=A
T.3.a.
A+1=1
T.3.b.
AC0=0
T.4.a.
A + (A C B) = A
T.4.b.
A C (A + B) = A
T.5.
ES UNICO
T.6.
A=
T.7.a.
T.7.b.
T.8.a.
A + (B + C) = (A + B) + C
T.8.b.
A C (B C C) = (A C B) C C
T.9.a.
A+(
C B) = A + B
T.9.b.
AC(
T.10.a
T.10.b.
C C) + (B C C) = (A C B) + (
C C)
+ B) = A C B
=
T.11.b. (A + B) C (
+ C) C (B + C) = (A+B) C ( +C)
T.11.a
(A C B) + (
T.12.a
(A C B) + (A C
C C) = (A C B)+(A C C)
T.12.b. (A + B) C (A +
+ C) = (A + B) C (A + C)
T.13.a
(A C B) + (A C
)=A
T.13.b. (A + B) C (A +
)=A
Y deseamos obtener el diagrama del circuito lgico que realice esta funcin. Las variables A,
B, y C sern las entradas del circuito y F ser la salida. De la expresin observamos que se
tienen tres trminos, cada uno de los cuales requiere de una compuerta Y, las dos primeras
de dos entradas y una tercera de tres entradas. La salida de cada una de estas compuertas
es la entrada de una compuerta O. A la salida de esta compuerta se tendr la funcin de
salida. Pero antes, por cada variable testada que se tenga, se requiere que sta pase por un
inversor. Al diagrama lgico en estas notas le denominaremos logigrama.
R. ESPINOSA R. y P. FUENTES R.
1-11
COMPUERTA
SMBOLO
FUNCIN
TABLA DE VERDAD
A
INVERSOR
No Y
No O
R. ESPINOSA R. y P. FUENTES R.
1-12
COMPUERTA
SMBOLO
FUNCIN
O
EXCLUSIVA
No O
EXCLUSIVA
TABLA DE VERDAD
A
Sin embargo, el circuito anterior es factible de reducirse y es aqu donde se utilizan los
postulados y teoremas. An cuando en este captulo no es objetivo la simplificacin de
funciones Booleanas, s lo es aplicar postulados y teoremas.
De la funcin, observamos que los dos ltimos trminos no son ms que el teorema 12.a., por
lo tanto:
(T.12.a.)
(P.4.a.)
Ahora la expresin queda con tres compuertas de dos entradas cada una, pero observamos
que los dos primeros trminos forman la O EXCLUSIVA NEGADA, por lo tanto, la funcin queda:
Con respecto al primer logigrama, observamos que se disminuy en una compuerta, adems
de que no se utiliz ningn inversor. Ms adelante hablaremos del costo del circuito.
R. ESPINOSA R. y P. FUENTES R.
1-13
EJEMPLO 2.
(T.11.a.)
R. ESPINOSA R. y P. FUENTES R.
1-14
Vemos que tanto la expresin como el circuito se han simplificado considerablemente, pero
realizando la misma funcin. Con estos dos ejemplos se ha tratado de mostrar la aplicacin
del lgebra de Boole, tanto en el anlisis como en la sntesis.
0
0
0
0
1
1
1
1
0
0
1
1
0
0
1
1
0
1
0
1
0
1
0
1
?
?
?
?
?
?
?
?
Ahora bien, si los ocho signos de interrogacin, en la columna f se sustituyen por cualquier
combinacin de unos y ceros, quedar definida una funcin especfica de A, B, C. Como se tienen
ocho hileras, habr entonces 28 combinaciones diferentes para f, es decir, se tendrn 28 funciones
de conmutacin diferentes. El valor de f, para una hilera particular se denomina valor funcional
para la correspondiente combinacin de valores.
DEFINICIN: Una funcin de conmutacin de n variables, es cualquier asignacin particular de
valores funcionales para las 2n combinaciones posibles de valores de n variables.
R. ESPINOSA R. y P. FUENTES R.
1-15
TABLA FUNCIONAL
DEC
DEC
0
1
2
3
4
5
6
7
0
0
0
0
0
0
0
0
0
0
0
0
1
1
1
1
0
0
1
1
0
0
1
1
0
1
0
1
0
1
0
1
0
1
1
1
0
1
0
1
8
9
10
11
12
13
14
15
1
1
1
1
1
1
1
1
0
0
0
0
1
1
1
1
0
0
1
1
0
0
1
1
0
1
0
1
0
1
0
1
0
0
0
1
0
1
0
0
Por definicin un nmero primo es aquel que solamente es divisible por la unidad y por s
mismo, por lo tanto, cuando las combinaciones binarias correspondientes a los nmeros 1, 2,
3, 5, 7, 11 y 13, se presentan a la entrada del circuito, a la salida se tendr un 1 lgico.
En base a este razonamiento, la funcin de conmutacin se representa de la siguiente forma:
(3)
R. ESPINOSA R. y P. FUENTES R.
1-16
LITERAL.
TRMINO PRODUCTO.
TRMINO SUMA.
TRMINO NORMAL.
- Producto normal
- Suma normal
TRMINO CANNICO. Trmino normal que contiene tantas literal como variables la funcin.
Producto cannico o minitrmino.
(para tres variables)
Suma cannica o maxitrmino.
(para tres variables)
FORMA SUMA DE PRODUCTOS. Una suma de trminos producto (MINITRMINO) de
una funcin.
R. ESPINOSA R. y P. FUENTES R.
1-17
FORMA CANNICA DE UNA FUNCIN. Es aquella en que todos los trminos son cannicos y aparecen una sola vez. Se tienen dos
formas:
1.
2.
A continuacin se muestra una tabla con tres variables, en donde se muestra la notacin de
los minitrminos y los maxitrminos.
DECIMAL
MINITRMINO
R. ESPINOSA R. y P. FUENTES R.
MAXITRMINO
1-18
TABLA FUNCIONAL
DEC
DEC
0
1
2
3
4
5
6
7
0
0
0
0
0
0
0
0
0
0
0
0
1
1
1
1
0
0
1
1
0
0
1
1
0
1
0
1
0
1
0
1
0
0
1
0
1
0
1
0
8
9
10
11
12
13
14
15
1
1
1
1
1
1
1
1
0
0
0
0
1
1
1
1
0
0
1
1
0
0
1
1
0
1
0
1
0
1
0
1
1
0
1
0
1
0
1
0
FUNCIN CANNICA
De otra forma:
LOGIGRAMA
El logigrama se presenta en la FIGURA 5.
R. ESPINOSA R. y P. FUENTES R.
1-19
EJEMPLO 5. Se tienen dos nmeros binarios de dos bits cada uno. Se desea disear un circuito
tal que detecte cundo estos nmeros son iguales.
Definicin de las variables.
X(A, B); Y(C, D); F = (X, Y)
TABLA FUNCIONAL
DEC
DEC
0
1
2
3
4
5
6
7
0
0
0
0
0
0
0
0
0
0
0
0
1
1
1
1
0
0
1
1
0
0
1
1
0
1
0
1
0
1
0
1
1
0
0
0
0
1
0
0
8
9
10
11
12
13
14
15
1
1
1
1
1
1
1
1
0
0
0
0
1
1
1
1
0
0
1
1
0
0
1
1
0
1
0
1
0
1
0
1
0
0
1
0
0
0
0
1
FUNCIN CANNICA
R. ESPINOSA R. y P. FUENTES R.
1-20
Cualquier funcin de conmutacin de n variables F(A, B, C,...), se puede expresar como una
suma normal de productos utilizando los siguientes postulados:
(P.3.b.)
(P.6.a.)
(P.5.b.)
2.
Por tanto:
R. ESPINOSA R. y P. FUENTES R.
1-21
Finalmente:
R. ESPINOSA R. y P. FUENTES R.
1-22
R. ESPINOSA R. y P. FUENTES R.
1-23
SOLUCIN
Tabla Funcional.
3.
Expresin Algebraica.
4.
Logigrama.
5.
Carta de Tiempo.
TABLA FUNCIONAL. Es una forma tabular de la funcin que da el valor para cada una de las
posibles combinaciones de las variables. La tabla en conveniente para la especificacin inicial de
una funcin, ya que su misma construccin asegura que la funcin quede completamente definida.
An sin definirla previamente, el concepto de la tabla funcional ya fue usada en los ejemplos (4)
y (5). La principal desventaja de la tabla funcional es el tamao, el cual dificulta su manejo cuando
el nmero de variables es grande (para n=6).
EXPRESIN ALGEBRAICA. Una de las caractersticas importantes del lgebra, es la
existencia de una variedad infinita de formas equivalentes para la misma funcin. El lgebra puede
expresar las propiedades lgicas de un circuito, con respecto a la forma fsica del mismo. Desde
luego, la manipulacin algebraica puede ser til herramienta para optimizar la realizacin de un
circuito, de acuerdo con algn criterio.
LOGIGRAMA. Mientras la tabla funcional y las expresiones algebraicas son propiedades
independientes de cualquier configuracin del circuito, el logigrama muestra la topologa de una
realizacin particular del circuito que realiza la funcin lgica. Es una abstraccin del circuito real,
en donde se suprimen detalles irrelevantes para la funcin lgica del circuito. Como los elementos
son cajas negras y lneas que las conectan, los circuitos que los contengan en su interior, pueden
estar realizados en cualquier tecnologa. El logigrama tiene una orientacin ms realista que el lgebra.
R. ESPINOSA R. y P. FUENTES R.
1-24
I.9 EJERCICIOS.
1.
Utilizando los postulados y teoremas del lgebra de Boole, compruebe cadas una de las
siguientes funciones, indicando, paso a paso, los postulados y teoremas empleados.
a)
b)
c)
d)
e)
f)
g)
h)
R. ESPINOSA R. y P. FUENTES R.
1-25
i)
j)
2.
Compruebe las funciones del problema anterior utilizando las tablas de verdad.
3.
4.
b)
c)
5.
R. ESPINOSA R. y P. FUENTES R.
1-26
6.
7.
Utilizando los postulados y el lgebra de Boole, encuentre las formas cannicas de las
siguientes funciones:
8.
9.
R. ESPINOSA R. y P. FUENTES R.
1-27