lgebra de Boole

lgebra de Boole
F.S.C. F.S.C. 2003 fsanchez@ieslafuensanta.com

? ?

El lgebra de George Boole (1854) son las matemticas de la electrnica digital. Esta lgebra est basada en la teora de conjuntos, en la cual, la variables slo puede tomar dos valores distintos, verdadero o falso. Estos dos valores no indican cantidades, sino los estados lgicos 1 ( verdadero) y 0 (falso) Estado lgico 0 Ausencia de voltaje ( 0 voltios) Estado lgico 1 Presencia de voltaje ( 5 voltios TTL)

Operaciones lgebra de Boole

?

Representacin de variables
Las variables utilizadas en el lgebra de Boole pueden ser representadas en letras maysculas o minsculas, preferentemente las primeras del alfabeto. _ ? Ejemplo : a . (b + c )
?

En el lgebra de Boole, Boole, hay tres operaciones fundamentales: OR (+) , AND ( . ) y la negacin o complementacin ( ) Los signos + y . no tienen que confundirse con la suma o la multiplicacin aritmtica, sino que indican relaciones lgicas, de tal manera que + debe interpretarse con la conjuncin o. De la misma forma, el signo . ser equivalente a la conjuncin y , mientras que el signo debe interpretarse como la conjuncin no

FUNCIONES BSICAS BOOLEANAS IGUALDAD

FUNCIONES BSICAS BOOLEANAS UNI N O ( OR )

Igualdad S = a Si a = 0 S = 0 Si a = 1 S = 1
?

? ?

Unin (funcin = O) S= a + b

FUNCIONES BSICAS BOOLEANAS INTERSECCI N Y (AND)

FUNCIONES BSICAS BOOLEANAS NEGACI N NO (NOT)

? ?

Interseccin ( funcin Y ) S=a.b

? ? ?

Negacin ( funcin NO ) Tambin denomina funcin complemento __ S= a

PROPIEDADES DEL LGEBRA DE BOOLE

?

EL LGEBRA DE BOOLE EN LENGUAJE DE CONTACTOS

Las propiedades del lgebra de Boole son: a) conmutativas a+b=b+a a.b=b.a ? b) asociativa ( a + b) + c = a + ( b + c) (a. b).c)=a.(b.c) ? c) distributiva a . (b + c) = a . b + a . c a + (b . c) = (a + b) . (a + c)

A) Propiedad conmutativa

a+b=b+a

Propiedades del lgebra del Boole

EL LGEBRA DE BOOLE EN LENGUAJE DE CONTACTOS

Propiedades del lgebra del Boole

EL LGEBRA DE BOOLE EN LENGUAJE DE CONTACTOS

A) Propiedad conmutativa
?

B) Propiedad asociativa

a.b=b.a

( a + b) + c = a + ( b + c)

Propiedades del lgebra de Boole

EL LGEBRA DE BOOLE EN LENGUAJE DE CONTACTOS ?

Propiedades del lgebra de Boole EL LGEBRA DE BOOLE EN LENGUAJE DE CONTACTOS ?

B) Propiedad asociativa

c) Propiedad distributiva a . (b + c )

(a . b) . c = a . ( b . c )
?

a.b+a.c

Propiedades del lgebra de Boole EL LGEBRA DE BOOLE EN LENGUAJE DE CONTACTOS ?

Postulados del lgebra de Boole SUMASUMA- I

?

c) Propiedad distributiva a + (b . c)

a+0=a

(a + b) . (a + c)
?

a + 1 =1

Postulados del lgebra de Boole SUMASUMA- II

?

Postulados del lgebra de Boole Multiplicacin -I

?

a+a=a

a.0=0

_ a+a =1

a.1=a

Postulados del lgebra de Boole MultiplicacinMultiplicacin-II

?

Postulados del lgebra de Boole Complementacin o inversin

a.a=a

_ a.a=0

a = a

Teoremas Ley de Absorcin

?

Leyes de Transposicin
_ _ (a.b) ) = (a+c ) .( a+b) a.b) +(a.c +(a.c) (a+c) a+b) _ _ (a+b).( a+c) ) = (a.c ) + (a.b ) a+b).(a+c (a.c) (a.b) __ _ _ (a.b)+( a.b) ) =(a+b ) . (a+b ) a.b)+(a.b =(a+b) (a+b) _ _ _ _ (a+b).( a+b) ) =(a.b ) + (a.b ) a+b).(a+b =(a.b) (a.b)

a + (a . b ) = a Demostracin: a +(a.b ) = a.(b+1 ) = a.1 =a +(a.b) a.(b+1)

a.(a+b)=a Demostracin: a . (a+b) = (a.a) +(a.b) = a+(a.b) =a

Leyes varias
_ a + (a .b) =a+b ? Demostracin: _ _ a+(a.b)=( a+a) ) . (a+b ) =1.(a+b )=a+b a+(a.b)=(a+a (a+b) =1.(a+b)
? ?

Leyes varias
(a+b). ) = a+(b.c) a+b). (a+c (a+c) a+(b.c) ? Demostracin: ? (a.a)+( a.c)+( )+(a.b a.b)+( )+(b.c b.c) ) = a(1+c )+(a.b a.b)+( )+(b.c b.c) )= a.a)+(a.c a(1+c)+( a +(a.b ) +(b.c ) = a + (b.c ) +(a.b) +(b.c) (b.c) Segn ley de absorcin: a+(a.b) a+(a.b) = a

Teoremas de Morgan
?

___ _ _ ? a .b = a + b = F

Se utilizan para hacer transformaciones de las ecuaciones o para simplificar ecuaciones

a 0 0 1 1

b 0 1 0 1

___ a.b

__ a+b

F 1 1 1 0 ?

Simplificacin de funciones Mtodo algebricoalgebrico-I

Las funciones booleanas se pueden simplificar aplicando las propiedades, leyes y postulados del lgebra de Boole. Boole. ? Ejemplo: _ ? F= (a . b . c ) + ( a . b ) + a + ( a . b .c ) + b Sacando factor comn a .b de los sumandos 1 y 2 _ ? F= [(a . b ). (c +1 ) ] + a + ( a . b .c ) + b

1 1 1 0

1 1 1 0

b 0 1 0 1

__ a+b 1 0 0 0

__ a.b

F1 1 0 0 0

___ _ _ ? a+b = a .b = F1

0 0 1 1

1 0 0 0

Simplificacin de funciones Mtodo algebricoalgebrico-II

_ F= [(a . b ). (c +1 ) ] + a + ( a . b .c ) + b ? Aplicando los postulados de la suma a c+1 nos queda: _ ? F= (a . b ) + a + ( a . b .c ) + b ? Aplicando la ley de absorcin al 1 y 2 sumando: _ ? F= a + ( a . b .c ) + b
?

Simplificacin de funcionesfunciones- Mtodo algebricoalgebrico-III

_ F= a + ( a . b .c ) + b ? Sacando factor comn b de los sumandos 2 y 3 _ ? F= a + [b (( a . c ) + 1)] _ ? Como ( a . c ) + 1 = 1 Nos queda:

?

?F

=a+b

Una simple OR

Recordad que la ecuacin inicial era: _ ? F= (a . b . c ) + ( a . b ) + a + ( a . b .c ) + b

Forma cannica o estndar de una funcin

?

Minterm y Maxterm
?

FORMAS DE EXPRESAR UNA FUNCION LOGICA:

?
?

F1= ( a . b) + ( a . c) F2= ( a + b ) . ( a + d )

Suma de productos Producto de sumas

? ?

Forma cannica de una funcin lgica es el producto o suma en la cual aparecen todas las variables en su forma directa o complementada. F1 y F2 no estn en su forma cannica, F3 y F4 si estn en forma cannica puesto que aparecen en cada uno de sus dos trminos todas las variables. F3= (a.b.c (a.b.c ) + (a. b . c) F4= ( a+b+d) a+b+d) . ( a+b+d) a+b+d)

A la suma de productos o primera forma cannica se le llama minterm. minterm. F3= (a.b.c (a.b.c ) + (a. b . c)

Al producto de sumas se le llama segunda forma cannica o maxterm. maxterm. F4= ( a+b+d) a+b+d) . ( a+b+d) a+b+d)

Conversin a forma cannica minterm

MINTERM (Suma de productos) Cuando en uno o varios trminos falta una variable, se puede multiplicar dicho termino por (v + v), para conseguir expresar la funcin en su forma cannica. Esta operacin no altera la funcin , ya que estamos multiplicando por 1 ? ( ejemplo: v + v =1 ) _ _ _ F5 = ( a.b ) + ( a.b.c) ) = a.b.c) ; F5 = (a.b) a.b) (c+c) c+c) + (a.b.c (a.b.c) _ _ F5= (a.b.c ) + (a.b.c ) + (a.b.c ) (a.b.c) (a.b.c) (a.b.c)
? ?

Conversin a forma cannica maxterm

MAXTERM (Producto de sumas) Para pasar una funcin a su forma cannica se le suma (v.v ). Esto no afecta a la funcin puesto que (v.v). le estamos sumando cero. ? (ejemplo : v. v = 0 ) _ _ _ F6= a . (a+b ) ; F6 = (a + (b.b) ) = (a+b) b.b)) . (a+b (a+b) _ _ F6= (a+b ) . (a+b ) . ( a+ b) (a+b) (a+b)
? ?

OBTENCION DE LOS MINTERM A PARTIR DE LA TABLA DE VERDAD a

0 0 0 0 1 1 1 1

Obtencin de la funcin inversa con minterm

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 0 1

_ _ ? a .b .c _ ? a .b .c _ ? a. b . c
?

Se toman aquellos valores en los que F = 1 y se expresa en forma de producto de sumas (minterm) Si una variable vale 1 se pone en su forma normal y si vale 0 se pone en su forma inversa o negada.

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 0 1

_ ___ _ _ __ _ F = (a.b.c ) + (a.b . c ) + (a.b.c ) + (a.b.c ) (a.b.c) (a.b. (a.b.c) (a.b.c) (Se toman los valores en los que F=0 ) ___________________________ ___ _ _ __ _

a.b.c

? ?

__ _ _ F= (a.b.c) + ( a.b.c) + ( a.b.c) + ( a.b.c)

F= (a.b.c) . c) + (a.b.c ) + (a.b.c ) a.b.c) + (a.b (a.b. (a.b.c) (a.b.c) _ _ _ _ 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)

OBTENCION DE LOS MAXTERM A PARTIR DE LA TABLA DE VERDAD 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 0 1

Obtencin de la funcin inversa con maxterm

a b c F 0 0 0 0 0 0 1 1 0 1 0 0 0 1 1 1 1 0 0 0 1 0 1 1 1 1 0 0 1 1 1 1
_____________________________ ______ ______ ______ ______ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ 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+b+c (a+b+c) ) + (a+b+c (a+b+c) ) + (a+b+c (a+b+c) ) + (a+b+c (a+b+c) ) _ _ _ _ _ _ _ _ _ F= (a + b + c) (a + b + c) (a + b + c) (a + b + c) (Se toman los valores en los que F=1 F=1) ) Si una variable vale 0 se pone en su forma normal y si vale 1 se pone en su forma inversa o negada.

a+b+c _ ? a+b+c _ ? a+b+c _ _ ? a+b+c

?

Se toman aquellos valores en los que F = 0 y se expresa en forma de suma de productos (maxterm) Si una variable vale 0 se pone en su forma normal y si vale 1 se pone en su forma inversa o negada.

_ _ _ _ F= (a+b+c) (a+b+c) (a+b+c) (a+b+c)

__ _ _ F = (a.b.c) + (a.b.c) + (a.b.c) + (a.b.c)

lgebra de Boole
F.S.C. F.S.C. 2003 fsanchez@ieslafuensanta.com