2 1.

1 ALGEBRA DE BOOLE 3
Capitulo 1: ALGEBRA DE BOOLE
1frll111

1.1 ALGEBRA DE BOOLE • Axioma A2. Cada operacion tiene un elemento neutro en el conjunto B.
Para cualquier elemento a de B, el resultado de la operacion entre a y el
elemento neutro correspondiente es a.
La primera formalizacion matematica del razonamiento humano la realizo
el matematico ingles George Boole en el afio 1854, para lo que definio un Para representar el elemento neutro de la suma utilizaremos el simbolo
algebra, similar al algebra numerica, con solo dos valores logicos: 0, y para representar el de! producto el simbolo 1.
"verdadero" (true, 1) y "falso" (false, 0). Esta algebra se conoce con el 30EBl\:/aEB~a+0=a
nombre de algebra de Boole o algebra booleana. 31EBl\:/aEB~a·l=a
Transcurrieron casi cien afios hasta que en 1938, gracias a los trabajos
realizados por el estudiante de ingenierfa Claude E. Shannon, se Ilego a la • Axioma A3. Las dos operaciones son conmutativas; es decir, el orden
conclusion de que el algebra de Boole se podla utilizar para analizar y de los operandos no altera el resultado.
disefiar circuitos digitales. El algebra booleana trata de manera abstracta el \:/a, b EB~ a+ b = b +a
comportamiento de los circuitos, por lo que, aunque Ia tecnologia utilizada \:fa,b EB~ a-b = b·a
para la construccion de los mismos ha evolucionado mucho en los ultimas
afios, sigue siendo la teorfa basica para el analisis de este tipo de circuitos. Axioma A4. Cada una de las operaciones cumple la propiedad
distributiva con respecto a la otra.
1.1.1 Axiomasdel algebra de Boole \:fa,b,c EB~ a+ (b · c) =(a+ b) ·(a+ c)
\:fa,b,c EB~ a·(b+c) = (a·b)+(a·c)
Para definir un algebra son necesarios tres componentes: (a) un conjunto de
elementos; (b) un grupo de operaciones sabre los elementos; y ( c) un • Axioma AS. Cualquier elemento a del conjunto B tiene un elemento
conjunto de axiomas. Los axiomas (o postulados) son los que definen las complementario (complemento), a (no-a), que cumple las siguientes
caracteristicas basicas del algebra. condiciones:

Para ser booleana, un algebra debe cumplir los axiomas definidos por el
matematico Huntington el afio 1904, que resumimos en los siguientes
parrafos, En dichos axiomas, el conjunto de elementos es B y se utilizan dos
operaciones de dos operandos: or -suma logica-> y and -producto
logico->, Para representar la suma y el producto se utilizan Ios simbolos '+'
Y '·'; por ejemplo, a+ by a· b. Dependiendo del contexto, a esos sfmbolos
se !es suele denominar "operadores".
Los axiomas son dobles, ya que cada uno de ellos se cumple para ambas
operaciones.
• Axioma Al. Tanto la suma como el producto logico de dos elementos
(cualesquiera) del conjunto B pertenecen al conjunto B; es decir, el
conjunto B es "cerrado" para ambas operaciones.
\:j a E B 3 a E BI a + a = 1 ( elemento neutro de[ producto)
\:j a EB 3 a EB I a. a= 0 (elemento neutro de la suma)
• Axioma A6. El conjunto B tiene por lo menos dos elementos distintos.
3a,bEBla *b
Los axiomas son consistentes e independientes: no generan contradicciones
Y ninguno se puede deducir a partir de! resto. Tai y como hemos
mencionado, se denomina booleana al algebra que cumple estos axiomas o
postulados; cuando el conjunto B tiene solo dos elementos -1 y 0-, se
conoce tambien como algebra de conmutacion.
Es importante tener en cuenta que el algebra de Boole tiene varias diferencias con
el algebra comun; por ejemplo:

\:fa,bEB~a+bEB - El conjunto B es finito, y el conjunto de los nurneros no lo es.

La suma 16gica ( +) cumple la propiedad distributiva con respecto al producto
\:/a,b EB~ a-b EB 16gico (·);en el algebra numerica, en cambio, no.
 l
4
Capitulo 1: ALGEBRA DE BOOLE 1.1 ALGEBRA DE BOOLE 5

En el algebra numerica no se define el elemento a (com 1 )

E , p emento. Teorema T7
n el alge?ra de Boole no se definen los elementos inversos para nin na de
las op~rac10nes (-a ~a:~ la suma y Ila para el producto), y no se defnen las Va,b EB---+ a+a-b = a+b
operaciones resta y division.
Va,b EB--+ a·(a+b) = a-b

1.1.2 Algunos teoremas utlles del algebra de Tanto las axiomas coma las teoremas se cumplen par parejas, ya que el
algebra de Boole cumple el principio de dualidad.Debido a esta propiedad,
Boole
a cualquier igualdad algebraica que se deduce de las axiomas le corresponde
una "dual", que se puede obtener hacienda las dos cambios siguientes:
De las a~io_mas anteriores se pueden deducir algunas leyes o teoremas
- Convertir las sumas en productos y las productos en sumas
~u~stro objetivo no es analizar el algebra de Boole en detalle, y por ello no~
Convertir las 0 en 1 y las 1 en 0
hm1taremos a ~r,esenta~ una lista de las teoremas mas utilizados sin proceder
a su demostra~10n. Al igual que las axiomas, las teoremas se cumplen para Par ejemplo, a+ 1 = I - a· 0 = 0 (teorema T2). Es sencillo comprobar esa
l as dos operaciones. propiedad en todos las teoremas y axiomas previos.
• Teorema Tl o ley de idempotencia
VaEB--..+a+a=a 1.1.3 Operaciones 16gicas baslcas
VaEB--+a·a=a
• Teorema T2 1.1.3.1 Suma (or) y producto(and)
Va EB--..+ a+I =1 Como ya hemos mencionado, en el algebra de conmutaci6n se definen dos
VaEB--+a·O=O operaciones con el conj unto de elementos B = { 0, 1}: la suma 16gica -a orb
o a+ b-y el producto logico -a andboa· b (a menudo representado sin
• Teorema T3 o teorema de absorci6n el punto: ab)-. Teniendo en cuenta que el conjunto de elementos es finito
Va,bEB--..+a+(a·b)=a -linicamente dos elementos-, para definir una operaci6n es suficiente dar
Va, b E B ---+ a· (a+ b) =a el resultado para todas las combinaciones de las valores de las operandos. La
tabla que contiene dicha informaci6n se denomina tabla de verdad. Las dos
• Teorema T4 o ley de involuci6n operaciones se definen de la siguiente manera utilizando tablas de verdad:
Va EB --+a=a
a b a orb a b aandb
es decir, el complemento del complemento de un elemento es el propio
elemento. 0 0 0 0 0 0
0 1
~----------·-----·-- ----~
Teorema TS o propiedad asociativa 0 1

Va,b,c EB--..+ (a+ b) + c =a+ (b + c)

Va,b,cEB--..+(a·b)·c=a·(b·c) Tabla 1.1 Definiciones o tablas de verdad de las operaciones 16gicas suma (or) y
producto (and).
• Teorema T6 o leyes de DeMorgan
La funci6n 16gica suma toma el valor 1 cuando alguno de las operandos es
Va,bEB--+a+b=~·b
'ljj 1, y el producto, en cambio, cuando ambos operandos son 1. Basandonos en
IWi Va,bEB--+a·b=~+b estas definiciones es facil comprobar que se cumplen las axiomas del algebra
111111
booleana (vease la tabla 1.1):
 Capitulo 1: ALGEBRA DE BOOLE 1.2 FUNCIONES L6GICAS 7

Al B es cerrado para las dos operaciones: el resultado es siempre O o I.

1.1.3.2 Negaci6n 16gica (not)
A2 Las dos operaciones tienen elemento neutro:
Las operaciones or y and utilizan dos operandos, pero la operacion not, en
el elemento neutro de la suma es el 0: 0 + O = O y l + O = l cambio, solo tiene uno. Esta operacion se denomina tambien complemento.
el elemento neutro de! producto es el I: 0 · 1 = O y I · 1 = 1
La tabla 1.3 muestra la tabla de verdad de la operacion not, tal y coma se
A3 Las dos operaciones cumplen la propiedad conmutativa: puede deducir del axioma AS (y de las definiciones de las operaciones or y
0+1=1+0=1 and; vease la seccion previa):
0·1=1·0=0
a not a
A4 Las dos operaciones cumplen la propiedad distributiva (la una con
respecto a la otra): 0 -··~
1
I 0
v a.b,c EB~ a·(b+c) = (a·b)+(a·c)
Tabla 1.3 Tabla de verdad de la operaci6n not.
Va,b,c EB~ a+(b·c) = (a+b)·(a+c)
Para probar esta propiedad basta con calcular todos los valores La notacion utilizada para el operador es not a o a, y suele leerse coma a
posibles de ambos lados de las igualdades y compararlos. negada, complemento de a, o no-a.
Comprobemos la primera expresion, Al utilizarse 3 variables, hay que
analizar 23 = 8 casos posibles, tal coma aparece en la tabla 1.2. En las
tres primeras columnas estan todas las combinaciones posibles de las 1.2 FUNCIONES LOGICAS
tres variables, y, a continuaci6n, los resultados de las funciones que
aparecen en la expresion anterior. Una funcion logica es una aplicaci6n en la que el conjunto de origen es el
a b c b+c a · (b + c) a· b
r
producto cartesiano {O, 1 y el conjunto de destino es {O, 1 }. El conjunto de
a·c a·b+a·c origen contiene 2n elementos, y se dice que la funcion es de n variables; en el
o o o __ _(!___ ~ __ o ... 2._ o o
__ o__ o__ 1 __ ... .1. ..... .!.,.._ _o _ ··- o o o conjunto de destino, en cambio, no hay mas que dos elementos. Asi pues, se
0 pueden definir 22" funciones distintas de n variables (4 funciones de una
. -- -~·0 --·-·- l-___,.______
I ----0 -~ -·-·--------0
--·· . ·- 0 O
. _D _ _ I : _ !'__ ~0 2__ _ _ 0 variable, 16 funciones de dos variables, etc.) .
I 0 0 0 0 0 O, O
-~~~~~o_--~~i__ ---1----~-o --=-~-L~---=~---!_~ - Por ejemplo, las cuatro posibles funciones de una sola variable son las
siguientes:
_! _!_ --~- _ O_ _ _I _
I 1 I

a Ji I /z f, J.
Tabla 1.2 Comprobaci6n de la propiedad distributiva.
0 0 0 I I
----·-·--
I 0 ! I 0 I
Como se observa en la tabla (columnas marcadas en gris), los valores
de las dos expresiones coinciden siempre; por lo tanto, se cumple la Tabla 1.4 Las cuatro funciones 16gicas de una so!a variable. Entre ellas podemos
propiedad distributiva. Dejamos coma ejercicio comprobar la encontrar la funci6n not (13) y la identidad (h).
expresion dual.
La tabla 1.5 muestra las 16 funciones logicas que se pueden realizar con
AS El complemento del 0 es el I: 0 + 1 = I y 0 · 1 = O; por lo tanto, O = I .
dos variables. Entre ellas se encuentran dos funciones que ya hemos
El complemento de! 1 es el 0: I + 0 = I y I · 0 = O; por Io tanto, T = O.
definido: el producto logico, and, y la suma 16gica, or (h y Is
A6 El conjunto B contiene dos elementos, el I y el 0. respectivamente ).
 VGl..,ILUIU I. M..L\.:IC.Orv-\Ut:. t:SUULt:.

ab n s s :» f4 f5 f.'h ' fs i h 1
fio fi1 fi2 Ji, fi4 I fis fio ]?<ilt ejemplo, la comprobacion de la prime~a igualdad se mu~stra en la tabla
0
0
0
I
0 0 010 0 0
D 0- --()_I_ 0 CIT!_]
0
1
i.1. Dejamos como ejercicio la comprobacion de la segunda igualdad.
.L. o _o ~. 1_1_ L__,_Q_ __ ~_ 1
I I 0 I 1 j 0 i I I 0 i I 0 a b ab ab I ab+ab a(f)h
0 0 0---- 0 i 0 0
--
~-··-···
Tabla 1.5 Las 16 funciones 16gicas de dos variables. 0 1 1 0 1 1
<---·-- -·- ~-------- --- ---
I 0 0 --- ~l_ __L_ 1 1
-·-·-·
Ademas, aparecen otras funciones muy utilizadas en Ios circuitos digitales, 1 I 0 0 I 0 0
tales como:
Tabla 1.7 Comprobaci6n de la definici6n de la funci6n xor basada en las funciones
La funcion xor (h), y su complemento, Ia funcion equ (1!0). and, or y not.

a b a xor h a equ h 1.2.1 Representaci6n de las funciones 16gicas

0 0 0 I
-·-----·- -- --··-------· -
0 I 0
Existen dos tipos basicos de representaci6n de funciones logicas, que ya
-··--·····_o_ 1 i~ o hemos utilizado en los ejemplos precedentes: las tablas de verdad y las
o I 1
expresiones algebraicas. En una tabla de verdad se indica el valor de la
Tabla 1.6 Tabla de verdad de las funciones xor y equ. funcion para todas las posibles combinaciones de las variables de entrada
(hay que recordar que el conjunto B es finito, contiene unicamente dos
La funcion xor (exclusive or) toma el valor I cuando las dos variables
elementos, por lo que todas las posibles combinaciones son tambien finitas y
son distintas, y la funci6n equ, en cambio, cuando las dos coinciden. Se
se pueden agrupar en una tabla). De todas formas, para funciones de muchas
utiliza el simbolo E8 para la funcion xor y el sirnbolo ® para equ. Tal y variables las tablas de verdad no resultan muy utiles, ya que las
como se puede apreciar en Ia tabla de verdad, se cumplen las siguientes combinaciones de los valores de las variables son muchas (Z"), La segunda
igualdades:
opcion es la expresion algebraica de la funcion, es decir, su representacion
affib=a®b y a®b=affib por medio de variables y operadores (de la misma manera que hemos
representado las funciones xor y equ en el apartado anterior).
Las funciones nand (tis) y nor (/9), negaciones de las funciones and y or
respectivamente (vease Ia tabla 1.5). Si partimos de Ia representaci6n algebraica de una funcion, es facil obtener
su tabla de verdad (basta con realizar las operaciones representadas en la
expresion para todos los valores de las variables), pero el proceso inverso, es
Cualquier funcion Iogica se puede representar como combinaci6n de las decir, obtener la expresion algebraica de una funcion partiendo de su tabla de
funciones logicas not, and y or. Debido a dicha propiedad, se dice que esas verdad, es mas complejo. Veamos un ejernplo. La tabla 1.8 representa la
tres funciones constituyen un sistema completo. Por ejemplo, las funciones tabla de verdad de una determinada funcion 16gica. l,Cual es la expresion
xor y equ se pueden representar de la siguiente manera mediante las
algebraica que representa dicha funcion?
operaciones and, or y not':
Antes de contestar a esa pregunta, vearnos un par de definiciones:
affib=a·b+a·b y a®b=a·b+a·b • Minterm (m;): es el producto Iogico de todas la variables de una funcion
Para comprobar ambas igualdades podemos completar las tablas de verdad logica, en el que las variables pueden aparecer negadas o sin negar, A
de las nuevas expresiones y compararlas con las definiciones de la tabla 1.6. cada fila de la tabla de verdad le corresponde un minterm de Ia funci6n.
Asi, una funci6n de 3 variables (la de la tabla 1.8, por ejernplo) tiene 8
minterms.
En las expresiones algebraicas, el orden de prioridad de las operandos es: not, and y or
 1U
Capilulo 1: ALGEBRA DE BOOLE
1.2 FUNCIONES LOGICAS 11

c b a f
a. Como suma de todos los minterms que toman valor 1. Por ejemplo,
0 0 0 0
0 0 1 1 la funci6n/ de la tabla 1.8 se puede representar de la siguiente manera:
-0-----T--o I
0 I I 0 f = cba +cb a+c b a +cba +c b a
-=--1 () _()__ 0 Tambien se suelen utilizar las siguientes expresiones, todas ellas
I 0 I l
-.-_l _J_ 0 I
equivalentes, para representar la funci6n:
I I I 1 f= I (mi, mi. ms, m6' m1) =I (l, 2, 5, 6, 7)
Tabla 1.8 Tabla de verdad de una funci6n I6gica. b. Como producto de todos los maxterms que toman valor 0. La
funci6n/ de la tabla 1.8 se puede representar de la siguiente manera:
Al escribir un minterm, utilizaremos la variable negada si su valor es o -

en la tabla, Y sin negar si su valor es I. Por ejemplo, cuando c = I, b = o f = (c+ b+ a) ·(c+b+a) ·(c+b+ a)
y a = I, el minterm correspondiente es c b a . Al igual que en el caso anterior, tambien se suelen expresar las
En el caso de una funci6n de tres variables, los ocho minterms son los funciones de estas otras maneras:
siguientes: f= TI (Mo, M3, M4) =TI (0, 3, 4)
m0=cba -
m2=cba m3 =cba Estas dos formas de representar una furici6n 16gica, como suma de
m, =cba ms =cha m6 =cb; m7 =cba minterms o como producto de maxterms, se conocen como formas
· canonicas, y ambas son equivalentes. Para comprobarlo, se pueden obtener
Para referirse a los minterms se utiliza el numero que representan los
las tablas de verdad y compararlas, o se pueden aplicar los teoremas y
valores de las variables en binario: O O O-+ mo, O O I -+ mi, etc.
axiomas del algebra de Boole para pasar de una representaci6n a otra. Por
• Maxterm (M;): es la suma 16gica de todas las variables de una funci6n ejemplo, para probar la equivalencia podemos partir de la representaci6n por
l6gica, donde las variables pueden aparecer negadas o sin negar. A cada medio de minterms de la funci6n/ negada: f. Para ello tenemos que tomar
fila de la tabla de verdad le corresponde un maxterm. en cuenta los 0 de la funci6n/ de origen (vease la tabla 1.8):

~I escribir ~n maxterm, la variable aparecera negada si su valor es 1, y f=cba+cba+cba+cba+cba porlotanto,

sm negar SI su valor es 0. Por ejemplo, si c = 1, b = O y a = I el
max term correspondiente es c + b +a . ' f = cba + cba + cba (complemento de la funci6n.f)

Si negamos ambos lados de la igualdad:

Una funci6n de tres variables, como Ia de la tabla 1.8, tiene por tanto
ocho maxterms. Siguiendo el mismo orden de la tabla los maxterms son f =cb a+c b a+cb a
los siguientes: '
A continuaci6n aplicamos el teorema T4 (ley de involuci6n) a la parte
M0 =c+b+a M1 =c+b+a M 2- -c+b+a M 3=C +b +a izquierda de la expresi6n y la ley de DeMorgan (T6) a la derecha:
- -
M4=c+b+a Ms=c+b+a M 6- -c+b+a M 7=C -+-b +a-
f r=c b a-c b a-cb a
. Ut~lizando las !eyes de DeMorgan, es facil comprobar que se cumple Ia Si aplicamos de nuevo la ley de DeMorgan a cada termino de la funci6n:
siguiente relaci6n entre los minterms y los maxterms: m. = M.
I 1•
f = (c+b+a)·(c+b+a)·(c+b+a)
Partiendo de una tabla de verdad, existen dos maneras basicas de obtener la
expreslon algebraica correspondiente a una funci6n, utilizando minterms 0 Finalmente, aplicando de nuevo el teorema T4 (ley de involuci6n):
utilizando maxterms:
f = (c + b +a)· (c + b +a)· (c + b +a)