CENTRO DE ENSEANZA TCNICA Y SUPERIOR

Escuela de Ingeniera

Electrnica Digital I

Teoremas y Postulados

Presentan: Ricardo Quiroz Prez M. Ricardo Soto Durn 7271 7214

Ensenada, B.C, a 6 de marzo de 2011

POSTULADOS
Postulado No. 1 K= {N0, N1, N2,..., Nn} {+,-} 0 = Falso 1 = Verdadero + = OR * = AND Postulado No. 2 N= {0,1} a+0 = a a*1 = a a+1 = 1 a*0 = 0

Postulado No. 3 a+b = b+a a*b = b*a Postulado No. 4 a+(b+c) = (a+b)+c = (a+c)+b a*(b*c) = (a*b)*c = (a*c)*b Postulado No. 5 (DISTRIBUTIVIDAD) a+(b*c) = (a+b)*(a+c) a*(b+c) = (a*b)+(a*c) Postulado No. 6 a+ = 1 a* = 0

TEOREMAS
Teorema No. 1 (DUALIDAD) a+a = a a+(b*c) = (a+b)*(a+c) a*(b+c) = (a*b)+(a*c)

a+a = (a+a)*1 [P2] a+a = (a+a)*(a+ ) [P6] a+a = a+(a*a) [P5] a+a = a+0 a+a = a [P6]

[P2]

Teorema No. 2 (ELEMENTOS NEUTROS) a+1 = 1 a*0 = 0 Teorema No. 3 (INVOLUCIN) a* =0 [P5] a+ =1 Teorema No. 4 (ABSORCION) a+ab = a a(a+b) = a a+ab =a a+ab =a*1+ab [T5] a+ab =a*(1+b) [T2] a+ab =a*1 a+ab =a

Teorema No. 5 a+ b = a+b a( +b) = ab a+b =(a+ )(a+b) a+b =1*(a+b) a+b =(a+b)*1 a+b =(a+b) [P2] Teorema No. 6 a) ab+a =a ab+a =a(b+ ) [P5] ab+a =a*1 [P6] ab+a =a b) =a+(b*b) [P5] =a+(0) [P6] =a [P5]

Teorema #7 a) ab+a c=ab+ac b) (a+b)(a+ +c)=(a+b)(a+c) a) ab+a c = a(b+ c) [P5] ab+a c = a(b+c) [T5] ab+a c = ab+ac [P5] Teorema No. 8 (TEOREMA DE MORGAN) a) = * Sea x=a+b y= =

*x=0 +x=1

x*y=0 x+y=1 x+y=(a+b)+ x+y =(b+a)+ x+y =b+(a+ x+y =b+a+ [P3] [P4] [T5]

x+y =(a+ )+b [P3] x+y =a+ +b x+y =a+( x+y =a+1 [P6] [P4] [P3]

x+y =1 [T2] b) = + X=a*b Y= Y= X+y=1 X*y=0 Sea Y= + X+(y)=1 ab+ + = +( +ab)

= + +b [T5] = +( +b) = +1 =1 Teorema No. 9 (CONSENSO) a) ab+ c+bc=ab+ c b) (a+b)( +c)(b+c)=(a+b)( +c) [P6]

ab+ c+bc =ab+ c+(bc*1) [P2] ab+ c+bc =ab+ c+(a+ )(bc) ab+ c+bc =ab+ c+abc+ bc [P6] [P5]

ab+ c+bc =(ab+abc)+( c+abc) ab+ c+bc =ab+ c [T4]