Postulados del lgebra de boole

Definicin:
Algebra Booleana es un sistema algebraico cerrado
formado por dos elementos 0 y 1 (Conjunto K), y dos
operadores AND (x) y OR (+); para cada par de
elementos a y b K; a x b y a + b K.
Axiomas del algebra de Boole:
Axioma 1:
Existen elementos idnticos llamados 0 y 1, tal que,
para a K :
a + 0 = a (elemento neutro)
a x 1 = a (elemento identidad)

Sistemas Digi

Axiomas del lgebra de boole

Axioma 2: Ley de Conmutatividad
Para a y b K :
a+b=b+a
axb=bxa
Axioma3: Ley de Asociatividad,
Para a, b y c K :
a + ( b+c ) = ( a + b ) + c
ax(bxc)=(axb)xc

Sistemas Digi

Postulados del lgebra de boole

Axioma 4: Ley de Distributividad
Para a, b y c K :
a + ( b x c ) = ( a + b) x (a + c)
a x ( b + c ) = ( a x b ) + ( a x c)
Axioma 5: elemento inverso
Para cada elemento a K existe su elemento
inverso tal que :

a a 1
aa 0
Sistemas Digi

Principio de Dualidad
Establece que si una expresin es valida en el
lgebra de Boole, entonces su expresin dual
tambin lo es.
Determinamos la expresin dual remplazando los
operadores + por x y viceversa y todos los
elemento 0 por 1 y viceversa.
Ejemplo:
a + ( b x c ) = 1, expresin su dual es: a x ( b + c ) = 0

Sistemas Digi

Teoremas
Teorema 1: Operaciones con 0 y 1

0 0 0 1 0 1
1 1 1 1 0 0

Teorema 2: Operaciones superfluas con 0 y 1:

A 1 1 A 0 0
Teorema 3:operaciones superfluas con una variable

aa a

Sistemas Digi

aa a

Teoremas
Teorema 4: Involucin (el complemento del complemento de
A es igual a A).

A A
Teorema 5: teorema de Absorcin:

a ab a
a ( a b) a
Teorema 6: t. de simplificacin:

a ab a b
a ( a b) a b
Sistemas Digi

Teoremas
Teorema 7:

ab ab a
( a b) ( a b ) a
Teorema 8:

ab ab c ab ac
( a b) ( a b c ) ( a b) ( a c )

Sistemas Digi

Teoremas
Teorema 9: Teorema de Morgan

a b ab
ab a b
En general:

a b ... z a b c ... z
a b c ... z a b c ... z
Sistemas Digi

Teoremas
Teorema 10: Consenso

ab a c bc ab a c
(a b) (a c) (b c) (a b) (a c)

Sistemas Digi

Funciones de Conmutacin
Sean x1, x2, , xn smbolos llamados variables, cada uno
representa un 0 o un 1, definiremos:
Funcin de conmutacin: es una correspondencia que asocia
n
un elemento del lgebra con cada una de las 2 combinaciones
de las n variables x1, x2, , xn.
Ejemplos:

F ( x1 , x2 , x3 ) x1 x1 x2 x3 x1 x3
F (0,1,1) 0 0 0 0

En general una funcin de conmutacin queda definida por una

tabla de verdad.

Sistemas Digi

10

Representacin de una funcin de

Conmutacin

Tabla de Verdad:
Evaluamos todos los posibles valores de entrada de la funcin y los
colocamos en una tabla en forma ordenada de acuerdo al sistema binario
ascendente.
Ejemplo:

f(x,y) = a + b

a
0
0
1
1
Sistemas Digi

b
0
1
0
1

a+b
0
1
1
1

f(x,y) = a x b

a
0
0
1
1

b
0
1
0
1

axb
0
0
0
1
11

Tabla de Verdad
Describa una funcin de conmutacin con 3 entradas
a,b y c y una salida z, que es verdadera (1) cuando
al menos 2 de sus entradas son verdaderas (1).

Sistemas Digi

a
0
0
0
0
0
1
1
1

b
0
0
1

c
0
1
0

f
0
0

1
0
0
1

1
0
1
0

1
0
1
1

12

f (a, b, c) a b c a b c b c
abc a b c a b c b c f
000
0
0
0 0

Sistemas Digi

0 0
0 0

001

010

011

100

101

110

0 1
0 1

111

1 1

1 1
0 0

13

Representacin de una funcin de

Conmutacin
Formas Algebraicas
Suma de Productos: se construye al sumar (or)
trminos productos (and).
Ejemplo:

f (a, b, c, d ) a b c b d a c d

Producto de Sumas) se construye con el producto

(and) de trminos suma (or).
Ejemplo:

f (a, b, c, d ) (a b c) (a d )
Sistemas Digi

14

Representacin de una funcin de

Conmutacin
Formas Cannicas:
Son formas Sumas de Productos y Productos de Sumas con
caractersticas especiales. Existe una nica forma cannica
para cada funcin de conmutacin.
Mintrmino: trmino de una funcin de conmutacin que
corresponde al AND de todas las variables, en donde cada
una aparece bien sea complementada o sin complementar.
Ejemplo:

f (a, b, c) m a b c; a b c a b c

Maxtrmino: trmino de una funcin de conmutacin que

corresponde al OR de todas las variables, en donde cada
una aparece bien sea complementada o sin complementar.
Ejemplo:

f (a, b, c)

Sistemas Digi

M (a b c), (a b c)

15

Formas Cannicas Suma de Productos

f (a, b, c) a b c a b c a b c
a b c f
0 0 0 1
0 0 1 0
0 1 0 1
0 1 1 0
1 0 0 0
1 0 1 0
1 1 0 0
1 1 1 1
Sistemas Digi

abc

abc

Relacin con la tabla de verdad:

Cada mintrmino est asociado con la
lnea de la tabla, tal que:
Las variables no estn complementadas
si tienen el valor 1 para la combinacin en
la cual la funcin vale 1.
Las variables estn complementadas si
tienen el valor 0 para la combinacin en la
cual la funcin vale 1.

abc
16

Formas Cannicas Suma de Productos

f ( a , b, c ) a b c a b c a b c
a b c a b c a b c a b c

0 0 0
0 0 1

1
0

0
0

0
0

1
0

0 1 0
0 1 1

0
0

1
0

0
0

1
0

1 0 0

1 0 1

1 1 0

1 1 1

Sistemas Digi

17

Formas Cannicas Producto de Sumas

f (a, b, c) (a b c) (a b c) (a b c)
a b c f
0 0 0 0
0 0 1 1
0 1 0 1
0 1 1 0
1 0 0 1
1 0 1 1
1 1 0 0
1 1 1 1
Sistemas Digi

abc

Relacin con la tabla de verdad:

Cada maxtrmino est asociado con
la lnea de la tabla, tal que:

ab c
ab c

Las
variables
no
estn
complementadas si tienen el valor 0
para una combinacin en que la
funcin vale 0
Las variables estn complementadas
si tienen el valor 1 para una
combinacin en que la funcin vale 0

18

Formas Cannicas Producto de Sumas

f (a, b, c) (a b c ) (a b c ) (a b c)
a b c a b c a b c a b c

0 0 0
0 0 1

1
1

1
1

0
1

0
1

0 1 0

0 1 1

1 0 0

1 0 1
1 1 0

1
0

1
1

1
1

1
0

1 1 1

Sistemas Digi

19

Representacin de una funcin de

Conmutacin
Especificacin decimal:
Suma de Productos:

f (a, b, c) a b c a b c a b c a b c
f (a, b, c) m1 m3 m6 m7
f (a, b, c) m(1,3,6,7)
Producto de Sumas:

f ( a , b, c ) ( a b c ) ( a b c ) ( a b c ) ( a b c )
f ( a , b, c ) M 1 M 3 M 5 M 7
f (a, b, c) M (1,3,5,7)
Sistemas Digi

20

Relacin Mintrminos - Maxtrminos

mi M i
M i mi

f (a, b, c) m(2,3,6,7) M (0,1,4,5)

Sistemas Digi

21

Deduccin de Formas Cannicas

Teorema de expansin de Shannon:

f ( x1 , x2 ,..., xn ) x1 f (1, x2 ,..., xn ) x1 f (0, x2 ,..., xn )

f ( x1 , x2 ,..., xn ) x1 f (0, x2 ,..., xn ) x1 f (1, x2 ,..., xn )

Ejemplo:

f ( x1 , x2 , x3 ) x1 x2 x2 x3 x1 x2 x3
Si falta

xi se multiplica por ( xi xi )

la suma ( xi xi ) es igual a 1

F ( x1 , x2 , x3 ) x1 x2 ( x3 x3 ) x2 x3 ( x1 x1 ) x1 x2 x3
F ( x1 , x2 , x3 ) x1 x2 x3 x1 x2 x3 x1 x2 x3 x1 x2 x3 x1 x2 x3
f ( x1 , x2 , x3 ) (5,4,6,2,7)

Sistemas Digi

22

Convertir a Suma de Productos Cannica

f (a, b, c) a b a c a c
a f (1, b, c) a f (0, b, c)

a
0
a (b c ) a c
0
0
b f (a,1, c) b (a,0, c)
0
b (a a c) b (a c a c)
1
ab a bc abc abc
1
c f (a, b,1) c (a, b,0)
1
c ( a b a b a b) c ( a b a b )
1
abc abc abc abc abc

b
0
0
1
1
0
0
1
1

c
0
1
0
1
0
1
0
1

f
0
1
0
1
1
0
1
1

m(1,3,4,6,7)

Sistemas Digi

23

Convertir a Suma de Productos Cannica

ab ab a
f (a, b, c) a b a c a c
a b a b c a b c m7 m6
a c a b c a b c m6 m4
a c a b c a b c m3 m1
f (a, b, c) m(1,3,4,6,7)

Sistemas Digi

24

Convertir a Producto de Sumas Cannica

f ( a , b, c ) a ( a c )
(a b b c c ) (a b b c )
((a b) (a b ) c c ) ((a b) (a b ) c )
(a b c c ) (a b c c ) (a b c ) (a b c )
(a b c) ( a b c ) (a b c)(a b c ) (a b c ) (a b c )
M (0,1,2,3)

Sistemas Digi

25