Introduccin:

Hacia 1850, el matemtico y lgico irlands George Boole (1851- 1864), desarroll
un sistema matemtico para formular proposiciones lgicas con smbolos, de
manera que los problemas pueden ser escritos y resueltos de una forma similar al
lgebra tradicional.
En matemticas, una funcin booleana es una funcin cuyo dominio son
las palabras conformadas por los valores binarios 0 1 ("falso" o "verdadero",
respectivamente), y cuyo codo minio son ambos valores 0 y 1.
Formalmente, son las funciones de la forma : Bn B, donde B = {0,1}
y n un entero no negativo correspondiente a la arridad de la funcin.
Las lgebras booleanas, estudiadas por primera vez en detalle por George Boole,
constituyen un rea de las matemticas que ha pasado a ocupar un lugar
prominente con el advenimiento de la computadora digital. Son usadas
ampliamente en el diseo de circuitos de distribucin y computadoras, y sus
aplicaciones van en aumento en muchas otras reas. En el nivel de lgica digital
de una computadora, lo que comnmente se llama hardware, y que est formado
por los componentes electrnicos de la mquina, se trabaja con diferencias de
tensin, las cuales generan funciones que son calculadas por los circuitos que
forman el nivel. stas funciones, en la etapa de disea del hardware, son
interpretadas como funciones de Boole.
Asimismo, se plantean formas que son tiles para varios propsitos, tales como el
de determinar si dos expresiones representan o no la misma funcin. Pero para
otros propsitos son a menudo engorrosas, por tener ms operaciones que las
necesarias.
Particularmente, cuando estamos construyendo los circuitos electrnicos con que
implementar funciones booleanas, el problema de determinar una expresin
mnima para una funcin es a menudo crucial. No resultan de la
misma eficiencia en dinero y tiempo, principalmente, dos funciones las cuales
calculan lo mismo pero donde una tiene menos variables y lo hace en menor
tiempo.
Se realizan estas presentaciones con el fin de demostrar la afinidad existente
entre el lgebra de Boole y la lgica proposicional, y con el objeto de cimentar
el procedimiento de simplificacin presentado en la lgica de proposiciones.

OBJETIVOS GENERALES
Modos de representacin:
Existen distintas formas de representar una funcin lgica, entre las que podemos
destacar las siguientes:

Algebraica
Por tabla de verdad
Numrica
Grfica

El uso de una u otra, como veremos, depender de las necesidades concretas en

cada caso.
Algebraica:
Se utiliza cuando se realizan operaciones algebraicas. A continuacin se ofrece un
ejemplo con distintas formas en las que se puede expresar algebraicamente una
misma funcin de tres variables.
A) F = [(A + BC) + ABC] + ABC
B) F = ABC + ABC + ABC + ABC
c) F = (A + B + C) (A + B + C) (A + B + C) (A + B + C)
d) F = BC + AB
e) F = (A + B) (B + C)
f) F = [(BC) (CB) (AB)]
g) F = [(A + B) + (B + C)]
La expresin a) puede proceder de un problema lgico planteado o del paso de
unas especificaciones a lenguaje algebraico. Las formas b) y c) reciben el nombre
expresiones cannicas: de suma de productos (sum-of-productos, SOP, en ingls),
la b), y de productos de sumas (producto-of-sums, POS, en ingls), la c); su
caracterstica principal es la aparicin de cada una de las variables (A, B y C) en
cada uno de los sumandos o productos.

Por tabla de verdad:

Una tabla de verdad contiene todos los valores posibles de una funcin lgica
dependiendo del valor de sus variables. El nmero de combinaciones posibles
para una funcin de n variables vendr dado por 2n. Una funcin lgica puede
representarse algebraicamente de distintas formas como acabamos de ver, pero
slo tiene una tabla de verdad. La siguiente tabla corresponde a la funcin lgica
del punto anterior.
La forma ms cmoda para ver la equivalencia entre una tabla de verdad y una
expresin algebraica es cuando esta ltima se da en su forma cannica. As, la
funcin cannica de suma de productos (o forma cannica disyuntiva)
F = ABC + ABC + ABC + ABC
Nos indica que ser 1 cuando lo sea uno de sus sumandos, lo que significa que
tendr por lo tanto cuatro combinaciones que lo sern (010 para ABC, 100 para
ABC, 101 para ABC y 110 para ABC) siendo el resto de combinaciones 0. Con la
funcin cannica de producto de sumas (o forma cannica conjuntiva) se puede
razonar de forma anloga, pero en este caso observando que la funcin ser 0
cuando lo sea uno de sus productos.
Tambin es fcil obtener la tabla de verdad a partir de la funcin simplificada, pero
no as a la inversa.
Grfica:
La representacin grfica es la que se utiliza en circuitos y esquemas electrnicos.
En la siguiente figura se representan grficamente dos funciones algebraicas, una
con smbolos no normalizados, superior, y la otra con normalizados, inferior
(vanse los smbolos de las puertas lgicas). Representacin grfica de dos
funciones lgicas

Mtodos de simplificacin.
Por simplificacin de una funcin lgica se entiende la obtencin de su mnima
expresin. A la hora de implementar fsicamente una funcin lgica se suele
simplificar para reducir as la complejidad del circuito.
A continuacin se indican los modos ms usuales de simplificar una funcin lgica.
Algebraico
Para la simplificacin por este mtodo no slo bastar con conocer todas las
propiedades y teoremas del lgebra de Boole, adems se debe desarrollar una
cierta habilidad lgico-matemtica que se adquiere fundamentalmente con la
experiencia.
Como ejemplo se simplificar la siguiente funcin:
F = AC + ABC + BC + ABC + ABC
Observando cada uno de los sumando podemos ver que hay factores comunes en
los sumandos 2 con 5 y 4 con 5 que conllevan simplificacin:
F = AC + BC + BC (A + A) + AC (B + B)
Note que el trmino 5 se ha tomado dos veces, de acuerdo con la propiedad que
dice que A + A = A. Aplicando las propiedades del lgebra de Boole (A + A' = 1 y A.
1 = A), queda
F = AC + BC + BC + AC
Repitiendo nuevamente el proceso,
F = A ( C + C) + B ( C + C) = A + B
No siempre las funciones son tan fciles de simplificar como la anterior. El mtodo
algebraico, por lo general, no resulta cmodo para los no expertos, a los cuales,

una vez simplificada una ecuacin les pueden quedar serias dudas de haber
conseguido la mxima simplificacin.

1.- AB + BC + ABC =

AB

AB (C + C) + BC (A + A) + ABC = B
Z= = AB

ABC + ABC + BCA + BCA +ABC

+ BC +

ABC + ABC + BCA +ABC

A

AB (C + C) + AC (B + B)

BC

AB (1) + AC (1)
R: AB + AC
C

2.- Z= AB * A + C + AB * (A+ C) =

AB * A * C+ (A + B)*(A+ A
C)

1
C
0
0
0
0
1
1
1

AB

Z= AB * A + C + AB

* (A+ C)

0
AA + AC+ BA + BC
A

1
B
0
0
1
1
0
1
1

A
0
1
0
1
0
0
1

Z
1
0
0
0
1
0
1

C
Z= AC+ BA + BC

A+ C

3.-F1= XYZ + XYZ + XYZ + XYZ + XYZ

X
0
0
0
0
1
1
1

Y
0
0
1
1
0
1
1

Z
0
1
0
1
0
0
1

F1
0
1
0
0
1
1
1

F2
0
1
0
1
1
1
0

XYZ + XYZ + XYZ + XYZ + XYZ

XYZ + XYZ + XYZ + XY (Z+ Z)
X
XYZ + XYZ+ XYZ + XY

X + YZ

XYZ + XY (Z+ Z)
XYZ + XY + XY

XYZ +X (Y + Y)

R= XY Z+ X
F= XYZ + XYZ+ XYZ + XYZ
XYZ + XYZ+ XY (Z+ Z)
} XYZ + XYZ+XYX
XZ (Y+ Y) + XY
XZ + XY
Z
Y

XZ +

4.- AB + A (B + C) + B (B + C)

B+
AC

AB + AB + AC + BB +BC
AB + AB + AC + B + BC
AB + AC + B + BC
AB + AC + B
B + AC
A
0

B
0

C
0

S
0

5.- (A + B) (A + B)
AA + AB+ BA + BB
A + AB + BA + 1
A (1 + B+ B)
A

6.- A + AB
(A+A + B)
A (A+ B)
A (A + B)
(AA + AB)
AB
(A + B)

A
C

AC

A+ B

7.- AB + ABC
AB + ABC
A (B + BC)
A (BBC)
A (B (B+ C))
A (B + C)
AB + AC

8.- (A + B) (A+ C) (B + C)
(AA + AC +BA + BC) (B + C)
(AC + BA + BC) (B + C)
ACB +BAB + BCB + ACC + BAC + BCC
ABC + AB + BC + AC + ABC + BC
ABC + AB + BC + AC + ABC
BC(A + 1+ A) + AB + AC
BC + AB + AC =
AB + AC + BC
AB + AC + BC + AA
B (A + C) + A (A + C)
(A + B) (A+ C

9.- ABC + AB (AC)

ABC + AB (A + C)
ABC + ABA + ABC
ABC + AB + AB
AC + AB
A (C + B)

10.- (AB + (BC) + BC + CB)

AB + BC + BC + CB
(AB) (BC) + BC + CB
(AB) (BCBC) + CB
(AB) (BC) (BC) (B)

A B
C

11.- ABCD + ABCD + ABCD + ABCD + ABCD + ABCD +

ABCD + ABCD + A BCD
ABC (D + D) +A (BCD + BCD) + ABD (C + C) + ABC (D+ D) + ABCD
ABC (1) + A (1) + ABD (1) + ABC (1) + ABCD
ABC + A + ABD + ABC + ABCD
ABC + A + AB+ AB + DCD)
ABC + (1) + DCD
ABC+ DCD
AB

A B C
D

Conclusin
La semejanza existente entre el lgebra booleana y la lgica proposicional, nos
permite realizar una relacin entre las funciones existentes en una y en otra. As,
se pueden realizar mtodos para trabajar con funciones de Boole, que resulten en
una ayuda, por ejemplo, para la etapa de diseo del hardware de
una computadora los cuales se basan en conceptos que se obtienen a partir
del desarrollo de
las
dos
reas.
El mtodo presentado es de mucha utilidad cuando se trabaja con pocas
variables, pero deja de serlo cuando este nmero crece. Se deja como sugerencia
para algn otro trabajo, el anlisis de tcnicas alternativas para un nmero mayor
de variables, como podra ser el desarrollado por; o en todo caso, la creacin
de algoritmos con esta finalidad.
Las lgebras booleanas, estudiadas por primera vez en detalle por George Boole,
constituyen un rea de las matemticas que ha pasado a ocupar un lugar
prominente con el advenimiento de la computadora digital.

Son usadas ampliamente en el diseo de circuitos de distribucin y computadoras,

y sus aplicaciones van en aumento en muchas otras reas.
Las compuertas lgicas son los dispositivos electrnicos ms sencillos que
existen, pero al mismo tiempo son los ms utilizados en la actualidad.

Bibliografa

http://www.mat.usach.cl/histmat/html/bool.html.
Morris Mano, DISEO DIGITAL, Prentice may, captulos 2 y 3.
Ronald J. Tocci, SISTEMAS DIGITALES: PRINCIPIOS Y APLICACIONES,
Prentice may, captulo 3.
Apuntes de clase de la Materia Sistemas Digitales I.

http://www.monografias.com/trabajos11/seman/seman2.shtml#ixzz3p8a2m2kD