Facultad de Ciencias de la computacin

Materia: Sistemas Digitales

Profesor: Apolonio Ata

Tarea 1: Algebra de Boole demostraciones Equipo 10 Integrantes: Karen YlonenLeto Maricela Snchez Miranda Gilberto Javier Nanduca Martnez

Demostrar los teoremas de Boole usando los siguientes postulados:

2. a) x+0=x 3. a) x+y=y+x 4. a) x(y+z)=xy+xz 5. a) x+x =1

b) x*1=x b) xy=yx b) x+yz=(x+y)(x+z) b) x*x =0

Teorema 1: a) x+x=x x+x =(x+x)*1 =(x+x)(x+x ) =x+xx =x+0 =x por el postulado 2b) 5a) 4b) 5b) 2a)

b) x*x=x x*x=xx+0 =xx+xx =x(x+x ) =x*1 por el postulado 2a) 5b) 4a) 5a)

=x

2b)

Teorema 2:

a) x+1=1 x+1=1*(x+1) =(x+x )(x+1) =x+(x *1) =x+x =1 por el postulado 2b) 5a) 4b) 2b) 5a)

b) x*0=0 x*0=(x*0)+0 =(x*0)+(x*x ) =x(x +0) =x*x =0 por el postulado 2a) 5b) 4a) 2a) 5b)

Teorema 3: x =x x =x *1 =x *1+0 =x *(x+x )+0 =x *(x+x )+(x*x ) =x x+x x +xx =x(x +x )+(x x ) =x por el postulado 2b) 2a) 5a) 5b) 4a) 4a) 5a)

Teorema 4:

a) (xy) =x +y (xy) + (xy) = 1 T4.a (xy) (xy) = 0 (xy)(x +y ) = ( xy )( x +y ) = xyx + xyy =0y+x0 =0+0 =0

Postulado 4a) Postulado 5b) teorema 2b) Postulado 2a) T4.b

(xy) + (x +y ) = (xy) + (x + y ) = (x' + y') + (xy) Postulado 3a) = ((x +y ) + x)((x +y ) + y) Postulado 4b)

= ((x +x') + y')( x' + (y + y')) Teorema de asociacion = ( 1 +y )(x +1) Postulado 5a) = (1)(1) Teorema 2a) =1 Postulado 2b)T4.c Entonces de T4.a, T4.b y T4.c, se logra: (xy) = (x + y )

b) (x+y) =x +y Por dualidad.

Teorema 5:

a) x+xy=x x+xy= x*1+xy por el postulado 2b) = x(1+y)por el postulado 4a) = x*1 por el teorema 2a) =x por el postulado 2b)

b) x(x+y)=x x(x+y)= x*x+x*y = x+xy por el postulado 4a) por el teorema 1a)

=x(1+y) =x*1 =x

por el postulado 4a) por el teorema 2a) por el postulado 2b)