ALGEBRA BOOLEANA

Un sistema axiomtico es una coleccin de conocimientos ordenados jerrquica-mente

mediante reglas o leyes lgicas aplicadas a un nmero limitado de conceptos o principios
bsicos.
Un sistema axiomtico se compone de:
TRMINOS PRIMITIVOS: No se definen
DEFINICIONES: Conceptos que se crean mediante conectivos lgicos de los
trminos primitivos
AXIOMAS: Proposiciones no demostrables que se establecen como ciertas, son las
nociones fundamentales de la teora.
TEOREMAS: Leyes que se demuestran aplicando los axiomas, se derivan de los
axiomas.

Un sistema axiomtico BIEN FORMULADO satisface:

CONSISTENCIA LOGICA. Carece de proposiciones contradictorias
INDEPENDENCIA DE SUS AXIOMAS: ninguno de sus axiomas puede deducirse de
los otros axiomas.
COMPLETITUD: posee el nmero suficiente y necesario de enunciados lgicos que
garanticen que toda proposicin que se infiera de la teora es consecuencia lgica
de los axiomas.

ALGEBRA BOOLEANA (ALGEBRA LOGICA)

Es un sistema axiomtico que debe su nombre a George Boole quien a mediados del siglo
XIX desarroll una teora lgica que utilizaba smbolos en lugar de palabras. Claude E.
Shannon, casi un siglo despus (1938) la aplic a la teora de circuitos lgicos.
Un LGEBRA DE BOOLE es un sistema de elementos B={0,1} y los operadores
binarios: , +, y,

Operador + se le llama Operador OR

Operador se le llama Operador AND

OPERADOR se le llama Operador NOT

VARIABLES Y CONSTANTES BOOLEANAS

Una variable booleana representa cada uno de los dos estados posibles que puede
adoptar las variable. Las variables booleanas son smbolos utilizados para representar
magnitudes lgicas y pueden tener slo dos valores posibles:

1
 1 valor alto activado si cerrado

0 valor bajo desactivado no abierto

! Se corresponden con seales de entrada, de salida o intermedias.

! Se representan mediante caracteres alfabticos .A., .B., .X....
! Pueden tomar dos valores (0 1).
! Se denomina literal a una variable o a su complemento x, x'

OPERACIONES DEL ALGEBRA BOOLEANA Y COMPUERTAS BSICAS

SUMA LOGICA (OR)

+ 0 1
0 0 1

1 1 1 Smbolo lgico para la compuerta OR

PRODUCTO LOGICO (AND)

x 0 1
0 0 0

1 0 1 Smbolo lgico para la compuerta AND

INVERSION LOGICA (NOT)

x x' o x
0 1
1 0 Smbolo lgico para la compuerta NOT

POSTULADOS DEL ALGEBRA BOOLEANA

Un algebra booleana es un sistema algebraico definido sobre un conjunto B con al menos
dos elementos, y dos operaciones definidas : suma (operacin OR) y producto (operacin
AND) y que satisface las siguientes propiedades:
P1.ELEMENTOS NEUTROS: Existen en B, el elemento neutro de la suma (0) y el
elemento neutro de la multiplicacin (1) tales que para todo x en B
a) x+0 = x b) x.1 =x
P2.CONMUTATIVAS: Para todo elemento x en B

2
 a) x+y = y+x b) xy=yx
P3.ASOCIATIVAS: para todo x, y, z en B
a) x+(y+z)=(x+y)+z

b) x(yz)=(xy)z

P4.DISTRIBUTIVAS: para todo x, y, z en B

a) x+(yz)=(x+y)(x+z)

b) x(y+z)=xy+xz

P5.COMPLEMENTOS ( o inversin lgica): para cada x en B existe un nico elemento

x o x' llamado el complemento de x tal que
a) x + x' = 1 b) xx'=0

PRINCIPIO DE DUALIDAD
Dos expresiones booleanas se dicen duales una de la otra, si una se puede obtener de la
otra cambiando las operaciones + por * y viceversa y cambiando cero por uno

3
Cualquier teorema o identidad algebraica deducible de los postulados anteriores puede
transformarse en un segundo teorema o identidad vlida sin mas que intercambiar (+)
por () y 1 por 0.
Ejemplos
Expresin Expresin Dual
x+y = 1 x*y = 0
X*0=0 x+1=1

PROPIEDADES DEL ALGEBRA BOOLEANA

Teorema 1. Leyes de idempotencia. Para todo x en B, x*x=x ,y, x+x=x

xB , xx=x Dual: xB , xx=x

x*1=x Postulado 1b) x+0=x Postulado 1a)
x*(x+x')=x Postulado 5a) x+(x*x')=x Postulado 5b)
x*x+x*x'=x Postulado 4a) (x+x)*(x+x') =x Postulado 4a)
x*x+0=x Postulado 5b) (x+x)*1=x Postulado 5a)
x*x=x Postulado 1a) x+x=x Postulado 1b)

Teorema 2. Leyes de acotacin. Para todo x en B, x*0=0 ,y, x+1=1

xB , x0=0 Dual: xB , x1=1

x*0=x*0+0 Postulado 1a) x+1=(x+1)*1 Postulado 1b)
x+1=1*(x+1) Postulado 2b)
x*0=x*0+x*x' Postulado 5b) x+1=(x+x')(x+1) Postulado 5a)
x*0=x(0+x') Postulado 4b) x+1=x+(x'*1) Postulado 5a)
x*0=x*x' Postulado 1a) x+1= x+x' Postulado 1b)
X*0=0 Postulado 5b) x+1=1 Postulado 1a)

4
LEYES DEL ALGEBRA BOOLEANA Y SUS LEYES DUALES

NOMBRE LEY LEY DUAL

x+0=x x*1=x

Modulativa

x+x'=1 x*x'=0

Complemento

x+x=x x*x=x

Idempotencia

X+1=1 X*0=0

Acotacin

x+x*y=x x*(x+y)=x

Absorcin
x + x y = x+y x*(x +y) =x*y

(x')'=x (0')'=0 (1')'=1

Involucin

D'Morgan (x+y)' = x' * y' (x*y)' = x'+y'

5
 NOMBRE LEY LEY DUAL

O EXCLUSIVA (XOR) xy=x'yxy '

x y xy
0 0 0
0 1 1
1 0 1
Smbolo lgico para la compuerta XOR
1 1 0

Con base en las equivalencias lgicas pueden definirse las compuertas bsicas en
trminos de sumas o productos
a) (x*y)' = x'+y'
Compuerta AND

b) (x'+y')' = x*y
Compuerta OR

c) (x*y)' = x' + y'

Compuerta NAND

d) (x + y)' = x'*y'
Compuerta NOR

e) (xy)' = (x'+y)*(x+y') = x*y + x *y

Compuerta XNOR

6
OTRAS PROPIEDADES

a) (x*y)+(x' * z)+(y*z)=(x * y) + (x' * z)

b) (x + y)* (x' + z) * (y+z) = (x+y) * (x' +z)
c) (x * y) +(x*y'*z ) = x*y + x*z
d) (x + y) *(x+y'+z) = (x+y) *( x +z)

Funciones de Conmutacin

Hallar la funcin y simplificar el circuito

F(x,y,z) = (x'+z') (x'y +x'z) +yz' ( z'+z'x)

F(x,y,z) = (x'+z') (x'y +x'z) +yz' ( z'(1+x))
F(x,y,z) = (x'+z') (x'y +x'z) +yz'z'1
F(x,y,z) = (x'+z') (x'y +x'z) +yz'
F(x,y,z) = x' (x'y +x'z)+z'(x'y +x'z) +yz'
F(x,y,z)=x'x'y++x'x'z+x'yz'+x'zz' + yz'
F(x,y,z)= x'y++x'z+x'yz'+x'zz' + yz'
F(x,yz)= x'y++x'z+x'yz'+x'0 + yz'
F(x,y,z)=x'y+x'z+x'yz'+yz'
F(x,y,z)=x'y+x'z+(x'+1)yz'
F(x,y,z)=x'y+x'z+yz'
F(x,y,z)= yz'+x'z

7
 EJERCICIOS

1. Obtener la expresin Booleana correspondiente a los siguientes circuitos lgicos:

a)

b)

c)

2. Simplificar las siguientes expresiones

a) xy'yz'' b) [xy 'x'y'']
c) [x'(y'+z')]' d) (x+y)(x'+y')

3. Obtener el diagrama lgico equivalente de la expresin

a) (x+y)(x'+y') b) (x'+y)(x+y')
c) x'y' + xy d) xy'+x'y

8
 SIMPLIFICACIN DE FUNCIONES BOOLEANAS

Si x, y, z ... son variables lgicas, cualquier combinacin de ellas mediante las

operaciones lgicas de suma, producto o complementacin se denomina expresin
booleana. A cada expresin booleana se le asocia una funcin booleana.
FUNCIONES DE CONMUTACIN: Una variable binaria es una variable discreta que
puede asumir slo dos valores. Una funcin de conmutacin de una o ms variables, es
una variable binaria cuyo valor depende de los valores de las variables de conmutacin.
El smbolo f se emplea para denotar una funcin de conmutacin: f = f(x, y, z,...); las
variables x, y, z,.., son variables independientes, mientras f es una funcin dependiente.

Ejemplos
1. f(x)=x+x'
En este caso el dominio de la funcin es el conjunto {0,1} y el rango de la funcin es
tambin el conjunto {0,1} .

Podemos calcular el valor de La tabla de verdad de la Podemos representarla

la funcin en casa uno de los funcin es: utilizando un diagrama
puntos del conjunto de sagital
salida
f(0)= 0+0' = 0+1 =1 x f
f(1)= 1+1' = 1+0 =1
0 1
1 1

La funcin puede simplificarse como f(x)=1

2. f(x,y)= xy'+x'y'
En este caso el dominio de la funcin es el conjunto de parejas ordenadas {(0,0),(0,1),
(1,0) , (1,1) } y el rango de la funcin es el conjunto {0,1} .

Podemos calcular el valor La tabla de verdad Podemos representarla

de la funcin en cada uno de la funcin es: utilizando un diagrama
de los puntos del sagital
conjunto de salida x y f

f(0,0) = 0.1+1.1 = 1 0 0 1
f(0,1) = 0.0+1.0 = 0 0 1 0
f(1,0) = 1.1+0.1 = 1
1 0 1
f(1,1) = 1.0+0.0 = 0
1 1 0

9
Supongamos que tenemos la tabla de verdad de la funcin dada en el segundo ejemplo y
queremos encontrar la funcin correspondiente y reducirla a una expresin ms sencilla
(si es posible). Tenemos dos opciones:
OPCIN 1: Consideramos unicamente las columnas de la tabla donde el valor de la
funcin es 1.

x y f Aprovechamos que 1.1=1 y 1+1=1

Expresamos cada 1 de las filas como producto de unos, empleando las
0 0 1 variables originales o su complemento
1 0 1

En la primera fila x=0 y y=0. Para expresar 1 como producto de las variables
escribimos x' y'
En la segunda fila x=1 y y=0. Para expresar 1 como producto de las variables
escribimos x y'
Sumando las dos expresiones se obtiene f(x,y)= x' y' + x y'
Utilizamos las leyes y propiedades del algebra booleana para simplificar la expresin
f(x,y)= x' y' + x y'
f(x,y)= (x' + x) y' (Distributiva del producto respecto a la suma)
f(x,y) = 1y'
f(x,y)= y'

Se puede verificar que el valor de la funcin f(x,y)= y' en los dems puntos del dominio
es 0

OPCIN 2: Consideramos unicamente las columnas de la tabla donde el valor de la

funcin es 0.

x y f Aprovechamos que 0+0=0 y 0.0=0

Expresamos cada 0 de las filas como suma de ceros, empleando las variables
0 1 1 originales o su complemento
1 1 1 En la primera fila x=0 y y=1. Para expresar 0 como suma de las variables
escribimos x + y'
En la segunda fila x=1 y y=1. Para expresar 0 como suma de las variables
escribimos x'+ y'
Multiplicando las dos expresiones se obtiene f(x,y)= (x+y')(x'+y')
Utilizamos las leyes y propiedades del algebra booleana para simplificar la expresin
f(x,y)= (x+y')(x'+y')
f(x,y)= x(x' + y')+ y'(x' +y') (Distributiva del producto respecto a la suma)
f(x,y) = xx' + xy' + x'y' +y'y'
f(x,y) = 0 +(x + x')y' + y'
f(x,y)= y' +y'
f(x,y) = y'
Se puede verificar que el valor de la funcin f(x,y)= y' en los dems puntos del dominio

10
es 1
n
Dadas n variables lgicas la tabla de la funcin tiene 2 casillas y se pueden definir
n 2
2 2
2 funciones distintas. En el caso de n=2 existen 2 funciones distintas, para n=3
3
2 8
existen 2 =2 =256 funciones distintas.
Para n=2 si miramos las distintas opciones de la tabla podemos asociar a cada funcin
una cadena de 4 bits y de acuerdo con su representacin en la base decimal se le asocia
el subndice. En la tabla 1 se observan todas las funciones de dos variables.

FUNCIONES LGICAS DE DOS VARIABLES

Expresiones equivalentes y compuertas

x 0 0 1 1 Funcin Expresin Otra Compuertas

Lgica Equivalente expresin
y 0 1 0 1 Nombre Smbolo
F0 0 0 0 0 xx' 0
F1 0 0 0 1 xy (x'+y')' AND

F2 0 0 1 0 xy' (x'+y)' (x y)'

F3 0 0 1 1 x x
F4 0 1 0 0 x'y (x+y')' (y x)'
F5 0 1 0 1 y y
F6 0 1 1 0 x'y+xy' xy (xy)' XOR

F7 0 1 1 1 x+y (x'y')' OR

F8 1 0 0 0 (x+y)' x'y' NOR

F9 1 0 0 1 x'y'+xy (xy)' xy XNOR

F10 1 0 1 0 y' y'

F11 1 0 1 1 x+y' (x'y)' y x
F12 1 1 0 0 x' x' NOT

F13 1 1 0 1 x'+y (xy')' x y

F14 1 1 1 0 (xy)' x' +y' NAND

F15 1 1 1 1 y+y' 1

11
En la tabla se observa que dos funciones de dos variables son complementarias si i+j=15
F 'i=F j si y solo si i+j=15

Propiedades de la operacin XOR

1. Conmutativa xy = yx
2. Asociativa x(yz) = (xy)z
3. Distributiva de la operacin AND
con respecto a la operacin XOR x.(yz) = (x.y)(x.z)

Ejemplo 1: Escribir y simplificar la funcin booleana cuya tabla de verdad es:

x y z f(x,y,z)
0 0 0 1 x'y'z'
0 0 1 0
0 1 0 1 x'yz'
0 1 1 0
1 0 0 0
1 0 1 1 xy'z
1 1 0 0
1 1 1 1 xyz

Consideramos las filas cuyo resultado es uno, y lo expresamos como producto de las
variables o de su complemento
Escribimos la funcin definida como la suma de los productos
f(x,y,z) = x'y'z'+ x'yz' + xy'z + xyz

Haciendo uso de las propiedades de las operaciones booleanas se simplifica la expresin

obtenida
f(x,y,z) = ( x'z'y'+ x'zy') + (xzy' + xzy) Asociativa de la + y conmutativa de la .
f(x,y,z) = x'z' (y'+y) + xz (y+y') Distributiva
f(x,y,z) = x'z' +xz Complemento
f(x,y) = x z

Es sencillo verificar que el valor de la funcin es cero en las otras casillas de la tabla

12
2. Si consideramos las filas de ceros y expresamos cada cero como suma de las variables
o sus complementos se obtiene:
0 0 1 0 1 1 1 0 0 1 1 0
x + y + z' x + y' + z' x' + y + z x'+ y' + z

Escribimos la funcin f como el producto de las sumas de ceros

f(x,y,z) = (x + y + z')( x + y' + z')(x' + y + z)(x'+ y' + z)
= (x + z' + y ')( x + z' + y') (x' + z + y )(x' + z + y')
= (x + z' + yy') (x' + z + yy')
= (x+ z')(x' +z)
= xx' + xz + x'z' +zz'
= xz + x'z'
= x z
Esta funcin es la misma que se haba obtenido antes.

FORMAS NORMALES DE LAS FUNCIONES BOOLEANAS

MINTRMINO (mi): trmino producto en el que aparecen todas las variables, ya sean
complementadas o sin complementar. Un mintrmino es un trmino producto que es 1
exactamente en una lnea de la tabla de Verdad.
MAXTRMINO (Mi): trmino suma en el que aparecen todas las variables, ya sean
complementadas o sin complementar. Un maxtrmino es un trmino suma que es 0
exactamente en una lnea de la tabla de verdad.

FORMA NORMAL DISYUNTIVA O FORMA CANNICA DISYUNTIVA ( Suma de

Mintrminos o Suma de Productos) Una funcin booleana tiene la forma normal
disyuntiva si est escrita como la suma de trminos (de valor 1) donde cada trmino es
un producto que involucra todas las variables complementadas o no
Un mintrmino es un trmino producto que es 1 exactamente en una lnea de la tabla de
Verdad. La frmula compuesta por todos los mintrminos ser idnticamente 1.
Cada frmula de conmutacin puede expresarse como suma de mintrminos. Y esa
frmula es nica.
A cada trmino de la forma normal disyuntiva se le llama trmino minimal o mintrmino
y se denota como mi
La forma normal disyuntiva de n variables tiene 2n trminos y se denomina forma normal
disyuntiva completa de n variables

Forma NORMAL DISYUNTIVA COMPLETA (para dos variables)

13
 Dec x y mi Mintrmino

0 0 0 x'y' 1
1 0 1 x'y 1 f(x,y) = x'y'+x'y+ xy' +xy =1
2 1 0 xy' 1
3 1 1 xy 1

Ejemplo 2: Hallar y simplificar la funcin booleana

Dec x y z f(x,y,z) Mintrmino En este caso hay menos unos que ceros,
0 0 0 0 1 x'y'z' utilizamos la forma normal disyuntiva.
1 0 0 1 0
2 0 1 0 1 x'yz' f(x,y,z) = x'y'z' + x'yz' +x'yz
3 0 1 1 1 x'yz
4 1 0 0 0 Simplificando:
5 1 0 1 0
6 1 1 0 0 f(x,y,z) = x'y'z' +x'y(z + z')
7 1 1 1 0 f(x,y,z) = x'y'z' +x'y

FORMA NORMAL CONJUNTIVA O FORMA CANNICA CONJUNTIVA ( Producto de

Maxtrminos o Producto de sumas) Una funcin booleana tiene la forma normal
conjuntiva si est escrita como producto de trminos (de valor cero) donde cada trmino
es la suma de todas las variables complementadas o no. A cada trmino de la forma
normal conjuntiva se le llama trmino maximal o maxtrmino y se denota como Mi
La frmula compuesta por todos los maxtrminos ser idnticamente 0. Cada frmula
puede expresarse como producto de maxtrminos. Y es nica
La forma normal disyuntiva de n variables tiene 2n trminos y se denomina forma normal
disyuntiva completa de n variables

Forma NORMAL CONJUNTIVA COMPLETA (para dos variables)

Dec x y Mi Maxtrmino
0 0 0 x+y 0
1 0 1 x+y' 0 f(x,y) = (x+y)(x+y')(x'+y)(x'+y') = 0
2 1 0 x'+y 0
3 1 1 x'+y' 0

14
Mintrminos y Maxtrminos para 3 variables

Dec x y z Mintrmino Maxtrmino

0 0 0 0 m0 x y z M0 x+y+z
1 0 0 1 m1 x y z M1 x+y+z
2 0 1 0 m2 x y z M2 x+y+z
3 0 1 1 m3 x y z M3 x+y+z
4 1 0 0 m4 x y z M4 x+y+z
5 1 0 1 m5 x y z M5 x + y +z
6 1 1 0 m6 x y z M6 x+y+z
7 1 1 1 m7 xyz M7 x+y+z

Ejemplo 3: Hallar y simplificar la funcin booleana

x y z f(x,y,z) Maxtrmino En este caso hay menos ceros que unos, utilizamos
0 0 0 1 la forma normal conjuntiva.
0 0 1 1 f(x,y,z) = (x'+y+z)(x'+y+z')(x'+y'+z')
0 1 0 1 f(x,y,z) = (x'+y+z)(x'+z'+y)(x'+z'+y')
0 1 1 1 f(x,y,z) = (x'+y+z)(x'+z'+yy')
1 0 0 0 x'+y+z f(x,y,z) = (x'+y+z)(x'+z')
1 0 1 0 x'+y+z' f(x,y,z) = x'+(x+z)z'
1 1 0 1 f(x,y,z) = x'+yz'+zz'
1 1 1 0 x'+y'+z' f(x,y,z) = x'+yz'

Las formas normales completas permiten de manera sencilla la conversin de una forma
normal a la otra mediante el empleo de la doble negacin
Ejemplo 4. Hallar la forma normal conjuntiva de la funcin
f(x,y,z) = xyz + xyz' + xy'z + xy'z' + x'yz
Escribimos f como el complemento del complemento f''=f:
'
[
fx, y , z= xyzxyz'xy' zxy'z 'x'yz
'
]
La primera negacin (la de adentro) la calculamos con las leyes D'Morgan
'
fx, y , z=[ x'y 'z ' x'y 'zx'yz'x'yz' xy 'z']
Para el segundo complemento, escribimos los maxtrminos de 3 variables que hacen
falta (hay 5 trminos faltan 3 trminos)

15
f(x,y,z) = (x+y'+z)(x+y+z')(x+y+z)

Ejemplo 5. Hallar la forma normal disyuntiva de la funcin

f(x,y,z) = (x + y'+z)(x'+y+z')(x+y+z')
'
[
fx, y , z= xy 'zx'yz' xyz'
'
]
Como en el caso anterior para la negacin interna utilizamos las leyes D'Morgan
'
fx, y , z=[ xy 'z 'x'yz''xyz' ']
'
fx, y , z=[ x' yz' xy' z x' y 'z ]
Para la segunda negacin buscamos, en la forma normal disyuntiva completa, los
mintrminos que hacen falta (5 mintrminos)
f(x,y,z)= xyz + x'yz +xyz' + xy'z' + x'y'z'

MAPAS DE KARNAUGH (MAPAS K)

Fueron inventados en1950 por Maurice Karnaugh un fsico y matemtico de los
laboratorios Bell. Los mapas de Karnaugh es uno de los mtodos ms prcticos. Se
puede decir que es el ms poderoso, cuando el nmero de variables de entrada es menor
o igual a cinco; ms all, ya no es tan prctico. En general, el mapa de Karnaugh se
considera como la forma grfica de una tabla de verdad,o como una extensin del
diagrama de Venn.
Dada una funcin de n variables se construyen cajas de 2n celdas, es otra forma de
representar la tabla de verdad de la funcin. Cada mintrmino tiene un lugar asignado
dentro del diagrama de karnaugh.
Para armar cualquier Diagrama de Karnaugh los casilleros contiguos verticales u
horizontales deben contener mintrminos adyacentes, es decir, donde slo cambie una
variable entre uno y otro.

16
Mapa K para 2 variables La variable x est
en toda la columna
x' 0 x 1
sin negar

y' 0 a0 a2
La variable y est en
toda la fila sin negar y 1 a1 a3

x' 0 x 1
y' 0

y 1

Mapa K para 3 variables

z
xy x' x

00 01 11 10
z' 0 a0 a2 a6 a4
z 1 a1 a3 a7 a5

z
xy x' x

00 01 11 10
z' 0

z 1

Mapa K para 4 variables

x' x
00 01 11 10

z' 00 a0 a4 a12 a8 w'

01 a1 a5 a13 a9
w
z 11 a3 a7 a15 a11
10 a2 a6 a14 a10 w'

y' y y'

En estas direccin se puede bajar el software para simplificar mapas de Karnuagh:

GKMap
Karnaugh Map Minimizer
WinLogiLab
Boolean Calculator: VK, Truth Tables,...

17