Fundamentos de los Computadores. lgebra de Boole.

T3-1

TEMA 3. lgebra de Boole

INDICE: EL LGEBRA DE BOOBLE TEOREMAS DEL LGEBRA DE BOOLE REPRESENTACIN DE FUNCIONES LGICAS o TABLA DE VERDAD o FORMAS CANNICAS o CONVERSIN DE UNA FORMAS A OTRAS FUNCIONES BASICAS.
IMPLEMENTACIN MEDIANTE CONJUNTOS

COMPLETOS

Boole (1815-1864)

Fundamentos de los Computadores. lgebra de Boole.

T3-2

EL LGEBRA DE BOOBLE
UN LGEBRA DE BOOLE ES UN SISTEMA DE ELEMENTOS B={0,1} Y LOS OPERADORES BINARIOS () y (+) y () DEFINIDOS DE LA SIGUIENTE FORMA A 0 0 1 1 B 0 1 0 1 A+B 0 1 1 1 AB 0 0 0 1 A 0 1 A 1 0

OPERADOR + OPERADOR OPERADOR

OPERADOR OR OPERADOR AND OPERADOR NOT

QUE CUMPLEN LAS SIGUIENTES PROPIEDADES: 1.- PROPIEDAD CONMUTATIVA: A+B=B+A AB=BA 2. PROPIEDAD DISTRIBUTIVA: A(B+C) = AB + AC A + BC = (A+B)(A+C) 3. ELEMENTOS NEUTROS DIFERENTES A+0=A A1=A 4. SIEMPRE EXISTE EL COMPLEMENTO DE A, DENOMINADO A A + A = 1 A A = 0 PRINCIPIO DE DUALIDAD: cualquier teorema o identidad algebraica deducible de los postulados anteriores puede transformarse en un segundo teorema o identidad vlida sin mas que intercambiar (+) por () y 1 por 0. CONSTANTE: cualquier elemento del conjunto B VARIABLE: smbolo que representa un elemento arbitrario del lgebra, ya sea constante o frmula completa.

Fundamentos de los Computadores. lgebra de Boole.

T3-3

TEOREMAS DEL LGEBRA DE BOOLE

TEOREMA 1: el elemento complemento A es nico. TEOREMA 2 (ELEMENTOS NULOS): para cada elemento de B se verifica: A+1 = 1 A0 = 0 TEOREMA 3: cada elemento identidad es el complemento del otro. 0=1 1=0 TEOREMA 4 (IDEMPOTENCIA): para cada elemento de B, se verifica: A+A=A AA=A TEOREMA 5 (INVOLUCIN): para cada elemento de B, se verifica: (A) = A TEOREMA 6 (ABSORCIN): para cada par de elementos de B, se verifica: A+AB=A A(A+B)=A TEOREMA 7: para cada par de elementos de B, se verifica: A + AB = A + B A (A + B) = A B TEOREMA 8 (ASOCIATIVIDAD): cada uno de los operadores binarios (+) y () cumple la propiedad asociativa: A+(B+C) = (A+B)+C A(BC) = (AB)C LEYES DE DEMORGAN: para cada par de elementos de B, se verifica: (A+B) = AB (AB) = A + B

Fundamentos de los Computadores. lgebra de Boole.

T3-4

REPRESENTACIN DE FUNCIONES LGICAS (I)

TABLA DE VERDAD Tabla que representa el valor de la funcin para cada combinacin de entrada. Si la funcin est definida para todas las combinaciones se llama completa, si no, se denomina incompleta. Para 4 variables: X3
(0) (1) (2) (3) (4) (5) (6) (7) (8) (9) (10) (11) (12) (13) (14) (15)

X2 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1

X1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1

X0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1

F(X3, X2, X1,X0) F(0,0,0,0) F(0,0,0,1) F(0,0,1,0) F(0,0,1,1) F(0,1,0,0) F(0,1,0,1) F(0,1,1,0) F(0,1,1,1) F(1,0,0,0) F(1,0,0,1) F(1,0,1,0) F(1,0,1,1) F(1,1,0,0) F(1,1,0,1) F(1,1,1,0) F(1,1,1,1)

0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1

Una Frmulas de conmutacin es la expresin de una funcin Lgica. Un LITERAL es una variable (A) o complemento de una variable (A) Un TRMINO PRODUCTO es una operacin AND de un nmero de literales. Una frmula normal disyuntiva es una suma de trminos productos. Un TRMINO SUMA es una operacin OR de un nmero de literales. Una frmula normal conjuntiva es un producto de trminos sumas.

Fundamentos de los Computadores. lgebra de Boole.

T3-5

REPRESENTACIN DE FUNCIONES LGICAS (II)

FRMULA CANNICA DISYUNTIVA (SOP) MINTRMINO (mi): trmino producto en el que aparecen todas las variables, ya sean complementadas o sin complementar. FRMULA CANNICA DISYUNTIVA O DE MINTRMINOS: suma de mintrminos. (Suma de Productos) Dada la lista completa de mintrminos y asignando 1s y 0s arbitrariamente a las variables, siempre hay un, y slo un, mintrmino que toma el valor 1. Un mintrmino es un trmino producto que es 1 exactamente en una lnea de la tabla de Verdad. La frmula compuesta por todos los mintrminos ser idnticamente 1. Cada frmula de conmutacin puede expresarse como suma de mintrminos. Y esa frmula es nica. NOTACIN: Un mintrmino se designa por mi siendo i el nmero decimal correspondiente de la tabla de verdad. Para el producto, el 0 se asocia a la variable complementada y el 1 a la variable sin complementar. EJEMPLO: C 0 0 0 0 1 1 1 1 B 0 0 1 1 0 0 1 1 A 0 1 0 1 0 1 0 1 F(C,B,A) 1 0 1 1 0 0 0 1

F(C,B,A) = m0 + m2 + m3 +m7 = m(0,2,3,7) F(C,B,A) = CBA + CBA + CBA + CBA O bien F(C,B,A) = CBA + CBA + CBA + CBA

Fundamentos de los Computadores. lgebra de Boole.

T3-6

REPRESENTACIN DE FUNCIONES LGICAS (III)

FRMULA CANNICA CONJUNTIVA (POS) MAXTRMINO (Mi): trmino suma en el que aparecen todas las variables, ya sean complementadas o sin complementar. Frmula Cannica Conjuntiva o de Maxtrminos: producto de maxtrminos. (Producto de sumas) Dada la lista completa de maxtrminos y asignando 1s y 0s arbitrariamente a las variables, siempre hay un y slo un maxtrmino que toma el valor 0. Un maxtrmino es un trmino suma que es 0 exactamente en una lnea de la tabla de verdad. La frmula compuesta por todos los maxtrminos ser idnticamente 0. Cada frmula puede expresarse como producto de maxtrminos. Y es nica. NOTACIN: Un maxtrmino se designa por Mi siendo i el nmero decimal correspondiente de la tabla de verdad. En la suma, el 1 se asocia a la variable complementada y el 0 a la variable sin complementar. EJEMPLO: C 0 0 0 0 1 1 1 1 B 0 0 1 1 0 0 1 1 A 0 1 0 1 0 1 0 1 F(C,B,A) 1 0 1 1 0 0 0 1

F(C,B,A) = M1 M4 M5 M6 = M(1,4,5,6) F(C,B,A) = (C+B+A) (C+B+A) (C+B+A) (C+B+A) O bien F(C,B,A) = (C+B+A) (C+B+A) (C+B+A) (C+B+A)

Fundamentos de los Computadores. lgebra de Boole.

T3-7

REPRESENTACIN DE FUNCIONES LGICAS (IV)

CONVERSIN Y MANIPULACIN DE FRMULAS El complemento de una frmula de mintrminos est formado por la suma de los mintrminos que no aparecen. El complemento de una frmula de maxtrminos est formado por el producto de los maxtrminos que no aparecen. mi = Mi Mi = mi La transformacin de una frmula de mintrminos (disyuntiva) en otra de maxtrminos (conjuntiva) se basa en la doble complementacin, (F) = F *** Para FUNCIONES INCOMPLETAS en la tabla de verdad aparecer una X o una letra d (del ingls dont care) refirindose a trminos sin especificar. C 0 0 0 0 1 1 1 1 B 0 0 1 1 0 0 1 1 A 0 1 0 1 0 1 0 1 F(C,B,A) 1 0 1 X 0 X 0 1

F(C,B,A) = m(0,2,7) + (3,5) F(C,B,A) = M(1,4,6) (3,5) Complemento de una funcin incompleta: otra funcin incompleta con los mismos trminos no importa y el complemento de la funcin completa. Las frmulas de mintrminos y de maxtrminos de las funciones incompletas no son nicas.

Fundamentos de los Computadores. lgebra de Boole.

T3-8

FUNCIONES BSICAS (I)

FUNCIN OR, PUERTA OR: Tabla de Verdad A B A+B 0 0 0 0 1 1 1 0 1 1 1 1 Smbolo A B F=A+B

FUNCIN AND, PUERTA AND: Tabla de Verdad A B AB 0 0 0 0 1 0 1 0 0 1 1 1 Smbolo A B F=AB

FUNCIN NOT, INVERSOR: Tabla de Verdad A A 0 1 1 0 Smbolo A F = A

Con estos tres tipos de puertas puede realizarse cualquier funcin de conmutacin. Un CONJUNTO DE PUERTAS COMPLETO es aquel con el que se puede implementar cualquier funcin lgica. Puerta AND, puerta OR e INVERSOR Puerta AND e INVERSOR Puerta OR e INVERSOR

Fundamentos de los Computadores. lgebra de Boole.

T3-9

FUNCIONES BSICAS (II)

FUNCIN NOR, PUERTA NOR: Es tambin un conjunto completo Tabla de Verdad A B (A+B) 0 0 1 0 1 0 1 0 0 1 1 0 Smbolo A B F = (A + B) F = A B

FUNCIN NAND, PUERTA NAND: Es tambin un conjunto completo Tabla de Verdad A B (AB) 0 0 1 0 1 1 1 0 1 1 1 0 Smbolo A B F = (A B) F = A + B

FUNCIN XOR, PUERTA XOR: Es tambin un conjunto completo Tabla de Verdad A B (AB) 0 0 0 0 1 1 1 0 1 1 1 0 Smbolo A B F = (A B) F = AB + AB

FUNCIN XNOR, PUERTA XNOR: Es tambin un conjunto completo Tabla de Verdad A B (AB) 0 0 1 0 1 0 1 0 0 1 1 1 Smbolo A B F = (A B) F = AB + AB

Fundamentos de los Computadores. lgebra de Boole.

T3-10

IMPLEMENTACIN DE FUNCIONES BOOLEANAS MEDIANTE CONJUNTOS COMPLETOS (I)

NOT-AND-OR (preferentemente con SUMA de PRODUCTOS) Ejemplo 1: A B C B C F(A,B,C) = AC + BC + BC AC BC BC AC + BC + BC

NOT-OR-AND (preferentemente con PRODUCTO de SUMAS) Ejemplo 2: F(A,B,C) = (A+C) (B+C) (B+C)

A B C B C

A+C B+C B+C (A+C) (B+C) (B+C)

Fundamentos de los Computadores. lgebra de Boole.

T3-11

IMPLEMENTACIN DE FUNCIONES BOOLEANAS MEDIANTE CONJUNTOS COMPLETOS (II)

NAND-NAND (preferentemente con SUMA de PRODUCTOS) Buscamos grupos de variables con la forma de salida de una puerta NAND. Ejemplo 1: Negamos 2 veces Aplicamos DeMorgan A B C B C F(A,B,C) = AC + BC + BC F(A,B,C) = AC + BC + BC F(A,B,C) = AC BC BC AC BC BC AC + BC + BC

NOR-NOR (preferentemente con PRODUCTO de SUMAS) Buscamos grupos de variables con la forma de salida de una puerta NOR. Ejemplo 2: Negamos 2 veces Aplicamos DeMorgan A B C B C F(A,B,C) = (A+C) (B+C) (B+C) F(A,B,C) = (A+C) (B+C) (B+C) F(A,B,C) = (A+C) + (B+C) + (B+C) A+C B+C B+C (A+C) (B+C) (B+C)