ALGEBRA DE BOOLE

LIC. GREGORIO BAUTISTA OBLITAS

PRINCIPALES POSTULADOS, PROPIEDADES Y

TEOREMAS DEL ALGEBRA DE BOOLE

Postulado 1 : A+1 = Postulado 6:

1
A. 0 = 0
Postulado 2: A+0=A Postulado 7:
A. A = A
Postulado 3:
A+A=A
Postulado 8:
A. = 0
Postulado 4:
A+=1
Postulado 9: = 0
Postulado 5:
A. 1 =

PROPIEDADES
CONMUTATIVA

A+B = B+A
A.B = B.A
ASOCIATIVA
(A+B)+C = A +(B+C) = (A+C)+B
(A.B).C = A.(B.C)=(A.C).B
DISTRIBUTIVA
A.(B+C)=A.B+A.C
A+B.C=(A+B).(A+C)

TEOREMAS
TEOREMA 1 : LEY DE LA ABSORCIN
A+A.B=A
A(A+B)=A

TEOREMA II
+ . = +
. + = .

TEOREMA III LEY DE MORGAN

+ = .
. = +

COMPUERTAS LGICAS

ENCONTRAR LA TABLA DE VERDAD, HACER EL

CIRCUITO CON COMPUERTAS LGICAS Y LA
EXPRESIN BOOLEANA SINTETIZADA

1) = + + +
II) = + (. + )
III) = . . . .

ENCONTRAR LA EXPRESIN BOOLEANA DEL

SIGUIENTE CIRCUITO, LA EXPRESIN SINTETIZADO
Y LA TABLA DE VERDAD

DADA LA TABLA DE VERDAD, ENCONTRAR LA

FUNCIN BOOLEANA Y EL CIRCUITO
A

ENCONTRAR LA EXPRESIN BOOLEANA DEL

SIGUIENTE CIRCUITO, LA EXPRESIN SINTETIZADO
Y LA TABLA DE VERDAD

SIMPLIFICA LA SIGUIENTE EXPRESIN

BOOLEANA Y HALLA LA TABLA DE VERDAD

= + ( + ) + + ( + )

Expresiones Cannicas
Existen dos formas bsicas de expresiones
cannicas que pueden ser implementadas en
dos niveles de compuertas:
suma

de productos o expansin de minterminos

producto de sumas o expansin de maxterminos
Permiten asociar a una funcin una

expresin algebraica nica

La tabla de verdad tambin es una
representacin nica para una funcin
booleana

Sumadeproductos

SUMA DE PRODUCTOS

Tambin conocida como expansin de

minterminos
F = 001

011

101

110

111

F = ABC + ABC + ABC + ABC + ABC

A
0
0
0
0
1
1
1
1

B
0
0
1
1
0
0
1
1

C
0
1
0
1
0
1
0
1

F
0
1
0
1
0
1
1
1

F
1
0
1
0
1
0
0
0

F = ABC + ABC + ABC

SUMA
DE PRODUCTOS
Suma
deproductos

Trminos son productos (o minterms)

A
0
0
0
0
1
1
1
1

productos AND de literales para las combinacion de input para

los que el output es verdad
en cada producto cada variable aparece exactamente una ves
(puede estar invertida)
B
0
0
1
1
0
0
1
1

C
0
1
0
1
0
1
0
1

minterms
ABC m0
ABC m1
ABC m2
ABC m3
ABC m4
ABC m5
ABC m6
ABC
m7

forma corta de escribir minterms

F en forma cannica:
F(A, B, C) = m(1,3,5,6,7)
= m1 + m3 + m5 + m6 + m7
= ABC + ABC + ABC + ABC + ABC
forma cannica
F(A, B, C) =
=
=
=
=

(ejemplo de 3 terminos o 23 = 8 minterms)

forma minima
ABC + ABC + ABC + ABC + ABC
(AB + AB + AB + AB)C + ABC
((A + A)(B + B))C + ABC
C + ABC
ABC + C

= AB + C

Productodesumas
Tambin conocida como expansin de

maxterminos

F=
000
010
100
F = (A + B + C) (A + B + C) (A + B + C)
A
0
0
0
0
1
1
1
1

B
0
0
1
1
0
0
1
1

C
0
1
0
1
0
1
0
1

F
0
1
0
1
0
1
1
1

F = (A + B + C) (A + B + C) (A + B + C) (A + B + C) (A + B + C)

Productodesumas
Trminos son sumas (o maxterminos)

A
0
0
0
0
1
1
1
1

B
0
0
1
1
0
0
1
1

suma OR de literales para las combinacion de input para los

que el output es falso
en cada producto cada variable aparece exactamente una ves
(puede estar invertida)
C
0
1
0
1
0
1
0
1

maxterms
A+B+C
A+B+C
A+B+C
A+B+C
A+B+C
A+B+C
A+B+C
A+B+C

M0
M1
M2
M3
M4
M5
M6
M7

F en forma cannica:
F(A, B, C) = M(0,2,4)
= M0 M2 M4
= (A + B + C) (A + B + C) (A + B + C)
forma cannica forma minima
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)
= (A + C) (B + C)

Conversinentreformascannicas
Es posible convertir entre ambas formas cannicas
Para n variables (0 i 2n-1)

mi = Mi
Mi = mi
mi = Mi
Mi = mi

 Suma de productos

F = ABC + ABC + ABC

Usando de Morgans: f(X1,X2,...,Xn,0,1,+,) = f(X1,X2,...,Xn,1,0,,+)

(F) = (ABC + ABC + ABC)

F = (A + B + C) (A + B + C) (A + B + C)

Producto de sumas

F = (A + B + C) (A + B + C) (A + B + C) (A + B + C) (A + B + C)

Usando de Morgans

(F) = ( (A + B + C)(A + B + C)(A + B + C)(A + B + C)(A + B + C) )

F = ABC + ABC + ABC + ABC + ABC

Expansina las formascannicas

Cualquier funcin booleana puede ser

representada en forma cannica.

El proceso de obtener la forma cannica se
denomina expansin
Un mtodo directo consiste en obtener la
tabla de verdad, y luego identificar los
mintrminos o los maxtrminos
Otra posibilidad, que se estudia a
continuacin, es mediante un desarrollo
algebraico basado en los postulados y
teoremas del lgebra de Boole

Expansin a suma de productos

Basado en el uso repetitivo del teorema de

unificacin:

a = ab + ab

Ejemplo: f(a, b, c) = a + bc + abc

Expansin de productos de sumas

Basado en el uso repetitivo del teorema de

unificacin:

a = (a + b)(a + b)

Ejemplo: f(a, b, c) = (a + b)(b + c)