Algebra de Boole Postulados Propiedades

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)

Algebra de Boole Postulados Propiedades

Cargado por

Copyright:

Formatos disponibles

Algebra de Boole Postulados Propiedades

Cargado por

Información del documento

Descripción original:

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Algebra de Boole Postulados Propiedades

Cargado por

Copyright:

Formatos disponibles

ALGEBRA DE BOOLE

LIC. GREGORIO BAUTISTA OBLITAS

PRINCIPALES POSTULADOS, PROPIEDADES Y

Postulado 1 : A+1 = Postulado 6:

TEOREMA III LEY DE MORGAN

ENCONTRAR LA TABLA DE VERDAD, HACER EL

ENCONTRAR LA EXPRESIN BOOLEANA DEL

DADA LA TABLA DE VERDAD, ENCONTRAR LA

ENCONTRAR LA EXPRESIN BOOLEANA DEL

SIMPLIFICA LA SIGUIENTE EXPRESIN

de productos o expansin de minterminos

expresin algebraica nica

Tambin conocida como expansin de

F = ABC + ABC + ABC + ABC + ABC

F = ABC + ABC + ABC

Trminos son productos (o minterms)

productos AND de literales para las combinacion de input para

forma corta de escribir minterms

(ejemplo de 3 terminos o 23 = 8 minterms)

suma OR de literales para las combinacion de input para los

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)(A + B + C)(A + B + C) )

Expansina las formascannicas

representada en forma cannica.

Expansin a suma de productos

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

Expansin de productos de sumas

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

También podría gustarte