UNIVERSIDAD NACIONAL

Jos Faustino Snchez Carrin

FACULTAD DE INGENIERIA INDUSTRIAL, SISTEMAS E INFORMATICA
ESCUELA PROFESIONAL DE INGENIERIA ELECTRONICA

TEMA:
ALGEBRA BOREANA DE CONMUTACIN

ALUMNO:
MIRANDA PORTELLA, Franco Jhordy.

DOCENTE:
ING. Oscar De La Cruz

HUACHO PER
2016

POSTULADOS DEL LGEBRA DE CONMUTACIN

El lgebra de Boole es una estructura algebraica definida por dos operadores binarios
(+ y ) de tal forma que satisfacen los siguientes postulados:
P1 : POSTULADO DEL CIERRE
(a) Si x,y B entonces x + y B

(b) Si x,y B, entonces xy B

P2 : POSTULADO DE LOS ELEMENTOS DE IDENTIDAD
Un elemento de identidad con respecto al operador + es designado por el smbolo 0
x + 0 = 0 + x = x siendo x B
Un elemento de identidad con respecto al operador es designado por el smbolo
x1 = 1x = x

P3 : PROPIEDAD CONMUTATIVA
(a) Conmutatividad con respecto al operador +
x+y = y+x

(b) Conmutatividad con respecto al operador

xy = yx
P4 : PROPIEDAD DISTRIBUTIVA

(a) Distributividad con respecto al operador +

x(y+z) = xy + xz

(b) Distributividad con respecto al operador

x+(yz) = (x+y) (x+z)
P5 : AXIOMAS DEL COMPLEMENTO
x + x = 1
xx = 0
P6 : Existen al menos dos elementos x,y B tal que x y

LGEBRA DE BOOLE BIVALENTE O LGEBRA DE

CONMUTACIN
El lgebra de conmutacin se obtiene haciendo que el conjunto B de elementos sean slo 2,
el 0 y el 1, y definiendo los operadores binarios + y
siguiente forma :

x
0
1
x

0
0
1
1

0
1
0
1

y el operador complemento, de la

x
1
0

X+y
(operacin
OR) 0
1
1
1

xy
(operacin
0
0
0
1

Cumplimiento del postulado P1 : El conjunto B, formado slo por el 0 y el 1, es cerrado, ya

que en la tabla 2 se puede ver que el resultado de x+y, xy (tambin 0 o 1) pertenece a B.
Cumplimiento del postulado P2: Usando la tabla 2 se puede demostrar que x+0=x..

x
0
0
1
1

y
0
1
0
1

x
+
0
1
1
1

De igual forma, de la columna del producto lgico de la tabla 2 se deduce que x1 = x.

x
0

y
0

x
0

0
1
1

0
0
1

1
0
1

Cumplimiento del postulado P3:

a) x+y=y+x
x
0
0
1
1

y
0
1
0
1

y+x
0
1
1
1

x
+
0
1
1
1

b) xy= yx

x
0
0
1
1

y
0
1
0
1

x
y0
0
0
1

yx
0
0
0
1

Cumplimiento del postulado P4 :

(a) x(y+z)= xy + xz

x
0
0
0
0
1
1
1
1

y
0
0
1
1
0
0
1
1

z
0
1
0
1
0
1
0
1

X
y0
0
0
0
0
0
1
1

xz
0
0
0
0
0
1
0
1

xy + xz
0
0
0
0
0
1
1
1

y+z
0
1
1
1
0
1
1
1

x(y+z)
0
0
0
0
0
1
1
1

(b) x+(yz) = (x+y) (x+z)

x
0
0
0
0
1
1
1
1

y
0
0
1
1
0
0
1
1

z
0
1
0
1
0
1
0
1

x+
y0
0
1
1
1
1
1
1

x+
z0
1
0
1
1
1
1
1

(x+y)(x+z
)
0
0
0
1
1
1
1
1

y
z0
0
0
1
0
0
0
1

x+
(yz)
0
0
0
1
1
1
1
1

Cumplimiento del postulado P5 :De la definicin del operador complemento (Tabla 1), se
deduce que

x
0
1

x
1'
0

x+x'
1
1

x
x'0
0

x+x = 1
xx=0

Cumplimiento del postulado P6: El lgebra de conmutacin ha definido dos elementos

distintos: el 0 y el 1, que son los elementos identidad respecto al operador OR y AND
respectivamente.

TEOREMAS DEL LGEBRA DE CONMUTACIN

T1 : TEOREMA DE IDEMPOTENCIA
x+x=x
xx = x
T2 : TEOREMA DE LOS ELEMENTOS DOMINANTES
(a) x + 1 = 1
(b) x 0 = 0
T3 : LEY INVOLUTIVA
(x) = x
T4 : TEOREMA DE ABSORCIN
x + xy = x
x(x+y) = x
T5 : TEOREMA DEL CONSENSO
x + (xy) = x+y
x(x+y) = xy
T6 : TEOREMA ASOCIATIVO
(a) x+(y+z)= (x+y)+z
(b) x(yz)=(xy) z
T7 : LEYES DE MORGAN
(a) (x+y) = xy
(b) (xy) = x + y
Ley de Morgan generalizada
(a) (x+y+z+...) = xyz.....
(b) (xyz....) = x+y+z+...
EXPRESIONES DE CONMUTACIN

Una expresin de conmutacin de n variables consiste en un nmero finito de constantes

(0, 1) y variables conectados por los operadores (+),() y () de forma que (+) y () no
pueden estar adyacentes nunca.

Ejemplos : x + yz
a[ (a+bc )+b]
Cada expresin de conmutacin de n-variables describe una nica funcin de conmutacin
de n-variables.

Dos expresiones de conmutacin A y B se dicen equivalentes (A=B) sii ellas describen la

misma funcin de conmutacin.

Ejemplo : Sea f=a+bc

y g=(a+b) (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
0
1
0
1
1
1
1

g
0
0
1
0
1
1
1
1

f y g son equivalentes porque describen la misma funcin de conmutacin.