lgebra de Boole El Dr. Bernard Chen Ph.D.

University of Central Arkansas Primavera de 2009

Puertas lgicas La lgica formal: En la lgica formal, una declaracin (proposicin) es una sentencia declarativa que es ya sea verdadero (1) o falso (0). Es ms fcil comunicarse con los ordenadores que utilizan la lgica formal. Variable booleana: Toma slo dos valores - ya sea verdadero (1) o falso (0). Se utilizan como unidades bsicas de la lgica formal. Funcin booleana y el diagrama de la lgica Funcin booleana: Mapeo de las variables booleanas en un valor booleano. Tabla de verdad: Representsrelaci nshitbet e n e w un B o o l e a n f u n c c i nn un d i t s b i a n y r v i r un a, b l e s. I t e n u m e r a t e s un l p o s s i b l e c o m b i a n s c i n o F r g u m e n t s nun d t h e c o r r e s p o n d i n g f u n c c i n v a l u e s. Funcin booleana y el diagrama de la lgica lgebra de Boole: ofertas con variables binarias y operaciones lgicas que operan en esas variables. Diagrama lgico: Se compone de smbolos grficos para las puertas lgicas. Un esquema de circuito simple que representa las entradas y salidas de las funciones de Boole. Gates R e f e r t o t h e h a r d e r w una t o i m p l e m e n t B o o l e a n o p e r a t r o s. T h e m o s t b a s i c g a e t s un e r La funcin de Boole y tabla de verdad Identidades bsicas del lgebra de Boole P o s t u l a e t 1 (D e f i n i c i n): A B o o l e a n un g le b r a i s un c l o s d e un g l e b r a c i s y s t e m c o n t a i n i ng un s e t K o F t w o O R m o r e e l e m e n t s n un d t h e t wo o p e r a t r o s n un d + w h i c h r e f e r t o l o g i c a l A, D Nn un d l o g i calOR

Identidades bsicas del lgebra de Boole (Existencia de una y el elemento 0) x + 0 = x x0=0 x+1=1 x1=1
(Tabla 1-1)

Identidades bsicas del lgebra de Boole (existencia de complemento) (5) x + x = x (6) x x = x (7) x + x '= x (8) x x '= 0 Identidades bsicas del lgebra de Boole(conmutatividad): (9) x + y = y + x (10) xy = yx Identidades bsicas del lgebra de Boole(asociatividad):
(11) x + (y + z) = (x + y) + z (12) x (yz) = (xy) z

Identidades bsicas del lgebra de Boole(Distributivity):

(13) x (y + z) = xy + xz (14) x + yz = (x + y) (x + z) (15) (x + y) '= x' y ' (16) (xy) '= x' + y '

Identidades bsicas del lgebra de Boole (teorema de De Morgan 's) Identidades bsicas del lgebra de Boole (involucin)

(17) (x ')' = x Minimizacin de funciones utilizando lgebra de Boole E x a m p l e s: (A) a + b = un (1 + b) = un (B) un (a + b) = AA + AB = a + b = un (1 + b) = a. (C) a + a 'b = (a + a') (a + b) = 1 (a + b) = a + b (D) un (a '+ b) = a. a '+ b = 0 + b = ab Tratar de F = A B C + A B C ' + un c ' El otro tipo de pregunta Demostrar que, 1 - ab + ab = a 2 - (a + b) (a + b ') = un 1 - ab + ab '= a (b + b') = a.1 = a 2 - (a + b) (a + b) = aa + ab + a.b BB + ' = A + ab + ab + 0 = A + a. (B '+ b) + 0

Ms ejemplos

= A + + 0 a.1 =A+a=a

S h o w t h una T; (A) ab + ab 'c = ab + ac (B) (a + b) (a + b '+ c) = a + bc (A) ab + ab 'c = a (b + b' c) = Un ((b + b '). (B + c)) = a (b + c) = AB + AC (B) (a + b) (a + b '+ c) = (Aa + ab + ac + ab + bb '+ BC) = ...

Teorema de DeMorgan (A) (a + b) '= a' b ' (B) (ab) '= a' + b '

Teorema generalizado de DeMorgan (A) (a + b + ... z) '= a' b ' Z ... " (B) (ab ... z) '= a' + b '+ z ... "

Teorema de DeMorgan

Teorema de DeMorgan Demuestre que:.. (A + bc) '= a' b '+ una' c ' Ms de DeMorgan ejemplo
Demostrar que: (a (b + z (x + a ')))' = a '+ b' (z '+ x') (A (b + z (x + a ')))' = a '+ (b + z (x + a')) " = A '+ b' (z (x + a ')) " = A '+ b' (z '+ (x + a') ')

F = a, b + c 'd' F'=? F = a, b + c 'd' + b 'd F'=?

= A '+ b' (z '+ x' (a ')') = A '+ b' (z '+ x' a) = A '+ b' z '+ b' x 'una = (A '+ b' x 'a) + b' z ' = (A '+ b' x ') (A + A') + b 'z' = A '+ b' x '+ b' z ' = A '+ b' (z '+ x') Ms ejemplos (A (b + c) + 'b)' = b '(a' + c ') ab + una 'c + BC = AB + una' c (A + b) (a '+ c) (b + c) = (a + b) (a' + c)