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