Algebra de Boole
EL - 3307
Diseo
Lgico
Ing. Jos Alberto
Daz Garca
Pgina 1
Algebra de Boole
Algebra de Boole
Simplificacin de circuitos
EL - 3307
Diseo
Lgico
Ing. Jos Alberto
Daz Garca
Pgina 2
Como los circuitos lgicos son
representaciones de funciones lgicas, se
pueden utilizar los recursos disponibles
para simplificarlos y as reducir la
cantidad de componentes electrnicos en
un circuito:
Diagramas de Venn
Algebra de Boole
Mapas de Karnaugh
Quine McClouskey
Definiciones
Algebra de Boole
Sistema axiomtico
EL - 3307
Diseo
Lgico
Ing. Jos Alberto
Daz Garca
Pgina 3
Un sistema formal o un sistema axiomtico es un
artificio matemtico compuesto de smbolos que se
unen entre s formando cadenas que a su vez pueden ser
manipuladas segn reglas para producir otras cadenas.
En las ciencias formales de la lgica y las matemticas,
as como en otras disciplinas relacionadas, como son la
informtica, la teora de la informacin, y la estadstica,
un sistema formal es una gramtica formal usada
para modelar diferentes propsitos.
Llamamos formalizacin al acto de crear un sistema
formal, y se trata de una accin con la que pretendemos
capturar y abstraer la esencia de determinadas
caractersticas del mundo real, en un modelo conceptual
expresado en un determinado lenguaje formal.
Definiciones
Algebra de Boole
Axioma
EL - 3307
Diseo
Lgico
Ing. Jos Alberto
Daz Garca
Pgina 4
En epistemologa un axioma es una
verdad evidente sobre la cual descansa
el resto del conocimiento o sobre la
cual se construyen otros conocimientos.
En matemticas un axioma no es
necesariamente una verdad evidente,
sino una expresin lgica utilizada en
una deduccin para llegar a una
conclusin.
Definiciones
Algebra de Boole
Teoremas
EL - 3307
Diseo
Lgico
Ing. Jos Alberto
Daz Garca
Pgina 5
Un teorema es una afirmacin que puede ser
demostrada como verdadera dentro de un marco lgico.
Demostrar teoremas es una actividad central en
matemticas.
Un teorema generalmente posee un nmero de
condiciones que deben ser enumeradas o aclaradas de
antemano y que se denominan hiptesis.
Luego existe una conclusin, una afirmacin
matemtica, la cual es verdadera bajo las condiciones
en las que se trabaja.
El contenido informativo del teorema es la relacin que
existe entre la hiptesis y la conclusin.
Definiciones
Algebra de Boole
Postulados
EL - 3307
Diseo
Lgico
Ing. Jos Alberto
Daz Garca
Pgina 6
Proposicin que se toma como punto de
partida para la demostracin de
teoremas dentro de un sistema
axiomtico, sin que se trate de una
proposicin deducible de otros
enunciados.
Proposicin que, teniendo apariencia de
ser evidente se admite como cierta sin
demostracin matemtica.
Definiciones
Algebra de Boole
Hiptesis
EL - 3307
Diseo
Lgico
Ing. Jos Alberto
Daz Garca
Pgina 7
En lgica y matemtica, una hiptesis
es una proposicin de la que se parte
para comprobar la veracidad de una
tesis mediante argumentos vlidos. Es
decir, en la demostracin de una tesis
las hiptesis son el conjunto de
afirmaciones adicionales que se aaden
al conjunto de axiomas, para ver si la
tesis es deducible del conjunto formado
por axiomas e hiptesis.
Algebra de Boole
Algebra de Conjuntos
EL - 3307
Diseo
Lgico
Ing. Jos Alberto
Daz Garca
Pgina 8
De la teora de conjuntos
se desprende su lgebra
Sean A, B, y C conjuntos
cualesquiera, entonces:
Algebra de Boole
AXIOMAS DE COMPLEMENTO
EL - 3307
Diseo
Lgico
Ing. Jos Alberto
Daz Garca
Pgina 9
x x
= ?
x + x = ?
Algebra de Boole
AXIOMAS DE COMPLEMENTO
EL - 3307
Diseo
Lgico
Ing. Jos Alberto
Daz Garca
Pgina 10
x x
=0
x + x =?
Algebra de Boole
AXIOMAS DE COMPLEMENTO
EL - 3307
Diseo
Lgico
Ing. Jos Alberto
Daz Garca
Pgina 11
x x
=0
x + x =1
Algebra de Boole
POSTULADO DE IDENTIDAD
EL - 3307
Diseo
Lgico
Ing. Jos Alberto
Daz Garca
Pgina 12
0+x = ?
1x = ?
Algebra de Boole
POSTULADO DE IDENTIDAD
EL - 3307
Diseo
Lgico
Ing. Jos Alberto
Daz Garca
Pgina 13
0+x =x
1x =?
Algebra de Boole
POSTULADO DE IDENTIDAD
EL - 3307
Diseo
Lgico
Ing. Jos Alberto
Daz Garca
Pgina 14
0+x =x
1x =x
Algebra de Boole
TEOREMA DE IDEMPOTENCIA
EL - 3307
Diseo
Lgico
Ing. Jos Alberto
Daz Garca
Pgina 15
xx
= ?
x + x = ?
Algebra de Boole
TEOREMA DE IDEMPOTENCIA
EL - 3307
Diseo
Lgico
Ing. Jos Alberto
Daz Garca
Pgina 16
xx
=x
x + x =?
Algebra de Boole
TEOREMA DE IDEMPOTENCIA
EL - 3307
Diseo
Lgico
Ing. Jos Alberto
Daz Garca
Pgina 17
xx
=x
x + x =x
Algebra de Boole
TEOREMA DE ELEMENTOS DOMINANTES
EL - 3307
Diseo
Lgico
Ing. Jos Alberto
Daz Garca
Pgina 18
x 0 =?
x + 1=?
Algebra de Boole
TEOREMA DE ELEMENTOS DOMINANTES
EL - 3307
Diseo
Lgico
Ing. Jos Alberto
Daz Garca
Pgina 19
x 0 =0
x + 1=?
Algebra de Boole
TEOREMA DE ELEMENTOS DOMINANTES
EL - 3307
Diseo
Lgico
Ing. Jos Alberto
Daz Garca
Pgina 20
x 0 =0
x + 1=1
Algebra de Boole
TEOREMA DE ABSORCIN
EL - 3307
Diseo
Lgico
Ing. Jos Alberto
Daz Garca
Pgina 21
x +xy
= ?
x(x+y) = ?
Algebra de Boole
TEOREMA DE ABSORCIN
EL - 3307
Diseo
Lgico
Ing. Jos Alberto
Daz Garca
Pgina 22
x +xy
= x
x(x+y) = ?
Algebra de Boole
TEOREMA DE ABSORCIN
EL - 3307
Diseo
Lgico
Ing. Jos Alberto
Daz Garca
Pgina 23
x +xy
= x
x(x+y) = x
Algebra de Boole
TEOREMA DEL CONSENSO
EL - 3307
Diseo
Lgico
Ing. Jos Alberto
Daz Garca
Pgina 24
x +xy
= ?
x(x+y) = ?
Algebra de Boole
TEOREMA DEL CONSENSO
EL - 3307
Diseo
Lgico
Ing. Jos Alberto
Daz Garca
Pgina 25
x +xy
= x+y
x(x+y) =?
Algebra de Boole
TEOREMA DEL CONSENSO
EL - 3307
Diseo
Lgico
Ing. Jos Alberto
Daz Garca
Pgina 26
x +xy
= x+y
x(x+y) =xy
Algebra de Boole
PROPIEDAD ASOCIATIVA
EL - 3307
Diseo
Lgico
Ing. Jos Alberto
Daz Garca
Pgina 27
x +(y + z)= ?
x(yz)
= ?
Algebra de Boole
PROPIEDAD ASOCIATIVA
EL - 3307
Diseo
Lgico
Ing. Jos Alberto
Daz Garca
Pgina 28
x +(y + z)= (x+y)+z
x(yz)
= ?
Algebra de Boole
PROPIEDAD ASOCIATIVA
EL - 3307
Diseo
Lgico
Ing. Jos Alberto
Daz Garca
Pgina 29
x +(y + z)= (x+y)+z
x(yz)
= ( x y) z
Algebra de Boole
PROPIEDAD CONMUTATIVA
EL - 3307
Diseo
Lgico
Ing. Jos Alberto
Daz Garca
Pgina 30
x + y
= ?
xy
= ?
Algebra de Boole
PROPIEDAD CONMUTATIVA
EL - 3307
Diseo
Lgico
Ing. Jos Alberto
Daz Garca
Pgina 31
x + y
y+x
xy
Algebra de Boole
PROPIEDAD CONMUTATIVA
EL - 3307
Diseo
Lgico
Ing. Jos Alberto
Daz Garca
Pgina 32
x + y
y+x
xy
yx
Algebra de Boole
PROPIEDAD DISTRIBUTIVA
EL - 3307
Diseo
Lgico
Ing. Jos Alberto
Daz Garca
Pgina 33
x(y+ z) =
x +(yz)
Algebra de Boole
PROPIEDAD DISTRIBUTIVA
EL - 3307
Diseo
Lgico
Ing. Jos Alberto
Daz Garca
Pgina 34
x(y+ z) = xy + xz
x +(yz)
= ?
Algebra de Boole
PROPIEDAD DISTRIBUTIVA
EL - 3307
Diseo
Lgico
Ing. Jos Alberto
Daz Garca
Pgina 35
x(y+ z) = xy + xz
x +(yz)
(x+y)(x+z)
Algebra de Boole
LEY INVOLUTIVA
EL - 3307
Diseo
Lgico
Ing. Jos Alberto
Daz Garca
Pgina 36
(x)= ?
Algebra de Boole
LEY INVOLUTIVA
EL - 3307
Diseo
Lgico
Ing. Jos Alberto
Daz Garca
Pgina 37
(x)= x
Algebra de Boole
LEYES DE MORGAN
EL - 3307
Diseo
Lgico
Ing. Jos Alberto
Daz Garca
Pgina 38
(x + y)= ?
(xy)
Algebra de Boole
LEYES DE MORGAN
EL - 3307
Diseo
Lgico
Ing. Jos Alberto
Daz Garca
Pgina 39
(x + y)= xy
(xy)
Algebra de Boole
LEYES DE MORGAN
EL - 3307
Diseo
Lgico
Ing. Jos Alberto
Daz Garca
Pgina 40
(x + y)= xy
(xy)
= x+y
Algebra de Boole
Formas cannicas
EL - 3307
Diseo
Lgico
Ing. Jos Alberto
Daz Garca
Pgina 41
El uso ms propio, se da en lgebra al hablar de
expresin cannica y que refiere a la expresin
algebraica completa, es decir aquella equivalente
que resulta de nominar todas las variables en
cada uno de sus trminos
Por ejemplo si decimos ac + ab + bc=3, para expresarlo
cannicamente, en cada trmino deben aparecer todas y
cada una de las variables, que participan en la
expresin. De la cual la presente es una simplificacin
por reduccin de equivalencia.
As su forma cannica sera: (acb + acb) + (abc + abc)
+ (bca + abc)=3.
Algebra de Boole
Formas cannicas
EL - 3307
Diseo
Lgico
Ing. Jos Alberto
Daz Garca
Pgina 42
Problema: Dada una Tabla de
verdad, obtener la forma algebraica
Formas Cannicas
Algebra de Boole
La forma algebraica queda:
EL - 3307
Diseo
Lgico
Ing. Jos Alberto
Daz Garca
Pgina 43
Para convertirla se observa la combinacin de
entradas para las cual la salida toma el valor 1.
La variable aparece sin complementar si vale 1
para la combinacin en la cual la salida vale 1 y
aparece complementada si vale 0 para la
combinacin en la cual la salida toma el valor 1
Algebra de Boole
Formas Cannicas: Mintrminos
EL - 3307
Diseo
Lgico
Ing. Jos Alberto
Daz Garca
Pgina 44
Se denominan mintrminos a un factor de una
expresin booleana que est formado por la
interseccin de todas sus variables.
Una funcin lgica corresponde a la unin de
mintrminos.
La funcin generada de esta manera se denomina
UNIN CANNICA DE INTERSECCIONES o
FORMA CANONICA DISYUNTIVA.
Algebra de Boole
Formas Cannicas: Maxtrminos
EL - 3307
Diseo
Lgico
Ing. Jos Alberto
Daz Garca
Pgina 45
Una combinacin alternativa de expresar la
funcin es examinando las combinaciones en las
cuales vale cero.
Formas Cannicas: Maxtrminos
Algebra de Boole
La funcin queda ahora:
EL - 3307
Diseo
Lgico
Ing. Jos Alberto
Daz Garca
Pgina 46
Para realizar el modelo lgico, se observa la
combinacin de entradas para las cuales la salida
toma el valor de 0.
La variable aparece sin complementar si vale 0
para la combinacin en la cual la salida es 0 y
aparece complementada si vale 1 para la
combinacin en la cual la salida vale 0.
Algebra de Boole
Formas Cannicas: Maxtrminos
EL - 3307
Diseo
Lgico
Ing. Jos Alberto
Daz Garca
Pgina 47
Se denomina maxtrmino a la expresin
booleana que est formada por la unin de todas
las variables.
La funcin lgica corresponde a la interseccin
de todos los maxtrminos.
La funcin generada de esta manera se denomina
INTERSECCIN CANONICA DE UNIONES o
FORMA CANONICA CONJUNTIVA.
EJEMPLO
Algebra de Boole
Simplificar:
EL - 3307
Diseo
Lgico
Ing. Jos Alberto
Daz Garca
Pgina 48
Ejemplo
Algebra de Boole
Simplificar:
EL - 3307
Diseo
Lgico
Ing. Jos Alberto
Daz Garca
Pgina 49
Ejemplo
Algebra de Boole
Simplificar:
EL - 3307
Diseo
Lgico
Ing. Jos Alberto
Daz Garca
Pgina 50
Ejemplo
Algebra de Boole
Simplificar
EL - 3307
Diseo
Lgico
Ing. Jos Alberto
Daz Garca
Pgina 51
