UNLA Organización de Computadoras (2014) ALGEBRA DE BOOLE.

UNLA Organización de Computadoras (2014)

ALGEBRA DE BOOLE

Indice

1. Reseña Histórica

2. Algebra de Boole

3. Postulados

4. Teoremas

5. Ejercicios

1. Reseña Histórica Algebra de Boole

En 1854 George Boole introdujo una notación simbólica para eltratamiento de variables cuyo valor podría ser verdadero o falso(variables binarias) Así el álgebra de Boole nos permite manipularrelaciones proposicionales y cantidades binarias. Aplicada a lastécnicas digitales se utiliza para la descripción y diseño de circuitosmas económicos. Las expresiones booleanas serán unarepresentación de la función que realiza un circuito digital. En estasexpresiones booleanas se utilizarán las tres operaciones básicas (AND, OR NOT ) para construir expresiones matemáticas en lascuales estos operadores manejan variables booleanas (lo que quieredecir variables binarias).

2.3 Definiciones

Literal: se refiere a una variable o a su complemento (por ej.A, X, X)

Término producto: es un grupo de literales que seencuentran relacionados entre si por un AND(por ej.A·B, C·A, X ·Y·Z )

Término suma:es un grupo de literales que se encuentranrelacionados entre si por un OR(por ej. A+B, C+A, X +Y+Z )

Término normal: termino producto o termino suma en el queun literal no aparece mas de una vez

Término canónico: termino en el que se encuentra exactamenteuno de cada uno de los literales de la función.Si el terminocanónico es un producto, se denominará mintérmino. Si esuna suma se denominará maxtérmino.

Forma normal de una función: es la que está constituida portérminos normales. Puede estar en la forma suma de términosproductos o productos de términos sumas.

Forma canónica de una función: es aquella constituidaexclusivamente por términos canónicos que aparecen una solavez.

2.3 Definiciones

2.4 Forma Canónica

La importancia de la forma canónica,es el hecho de serUNICA. Como vimos anteriormente una función puede tenerinfinidad de representaciones, pero solo una representaciónen forma canónica.

Existen dos formas canónicas de una función: Suma deProductos o Producto de Sumas. (También de una maneramas formal Suma de mintérminos o Producto demaxtérminos)

Para obtener algebraicamente la forma canónica de unafunción podemos utilizar los teoremas de expansióncanónica:

2.4 Forma Canónica suma de Productos

Es aquella constituida exclusivamente por términos canónicosproductos (mintérminos) sumados que aparecen una sola vez.Por ejemplo:

F(X,Y,Z) = X Y Z + X Y Z + XY’Z + X Y Z+ XYZ

Acada mintermino se le asocia un numero binario de n bitsresultante de considerar como 0 las variables complementadasy como 1 las variables no complementadas.Así por ejemploel mintermino X Y Z corresponde a combinación X=0, Y=0,Z=1 que representa el numero binario 001, cuyo valor decimales 1.Aeste mintermino lo identificaremos entonces como m1.

2.4 Forma Canónica suma de Productos

De esta forma, la función :

F(X,Y,Z) = X Y Z + X Y Z + X Y Z + X Y Z + XYZ

Se puede expresar como:

F(X,Y,Z) = m(1, 4,5,6,7)

que quiere decir la sumatoria de los mintérminos 1,4,5,6,7.

2.4 Forma Canónica producto de sumas

Es aquella constituida exclusivamente por términos

canónicos sumas (maxtérminos) multiplicados que aparecenuna sola vez. Por ejemplo:

F(X,Y,Z) = (X + Y + Z)(X + Y + Z) (X + Y + Z)

Análogamente al caso anterior, podemos simplificar laexpresión de la función, indicando los maxtérminos. Sinembargo, en este caso se hace al contrario de antes. A cadamaxtermino se le asocia un numero binario de n bitsresultante de considerar como 1 las variablescomplementadas y como 0 las variables no complementadas.

2.4 Forma Canónica producto de sumas

Así por ejemplo el maxtermino X + Y + Z corresponde acombinación X=1, Y=0, Z=0 que representa el numerobinario 100, cuyo valor decimal es 4.Aeste maxtermino loidentificaremos entonces como M4.

De esta forma, la función:

F(X,Y,Z) = (X + Y + Z)(X + Y + Z) (X + Y + Z)

se puede expresar como: F(X,Y,Z) = M(0,2,3) que quieredecir el producto de los maxterminos 0,2,3

2.4 Forma Canónica

Teorema 1: Para obtener la forma canónica de una funciónsuma de productos se multiplicará por un termino de laforma (X + X ) donde falte un literal para que el termino seacanónico.

Teorema 2: Para obtener la forma canónica de una funciónproducto de sumas se sumará un termino de la forma X · Xdonde falte un literal para que el termino sea canónico.

Otra manera importante de expresar expresiones booleanas esla forma normal. Tiene la misma estructura básica suma deproductos o producto de sumas, pero no se requiere que lostérminos sean minterminos o maxterminos.

Por ejemplo: La siguiente es una forma normal para suma deproductos: XY + X Y Z

La siguiente es una forma normal para producto de sumas:(Y+X)(X + Z)Y

Nota: En general la forma más utilizada es: la suma deproductos

2.4 Forma Normal de Funciones Booleanas

Algebra de Conmutación

Función de ConmutaciónTablas de VerdadFormas CanónicasMinterminos y MaxterminosMapas de Karnaugh

Función de Conmutación

Una función de conmutación se puedeexpresar de tres maneras:

–

–

–

En forma Algebraica

Por una Tabla de Verdad

En forma Canónica

Tablas de Verdad

La forma más intuitiva de representar una función deconmutación es por medio de una tabla de verdad.

La tabla de verdad expresa el valor de salida deuna función para cada combinación de entrada.

La tabla de Verdad permite modelar un tipo especialde sistema Digital llamado Sistema Combinacional.

Ejemplo de Tablas de Verdad

Forma Algebraica:

F (X1, X2, X3)= X1 X2 + X2 X3

X1 X2 X3 f

0 0 0 1

0 0 1 0

0 1 0 1

0 1 1 0

1 0 0 1

1 0 1 1

1 1 0 1

1 1 1 0

Ejemplo de Tablas de Verdad

Tabla de Verdad

Formas Canónicas

Se llama termino canónico de una función deconmutación a todo termino en que figurantodas las variables de la función, ya seacomplementadas o sin complementar.

X1 X2 X3

X1 X2 X3

X1 X2 X3

X1 X2 X3 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 1

1 1 1 0

Formas Canónicas

Problema:Dada una Tabla deVerdad, obtener la formaalgebraica

X1 X2 X3

F (X1, X2, X3)= X1 X2 X3 + X1 X2 X3 +

X1 X2 X3 + X1 X2 X3

Para convertir se observa la combinación de entrada parala cual la salida toma el valor 1.La variable aparece sin complementar: si vale 1 para lacombinación en la cual la salida vale 1 y aparececomplementada si vale 0 para la combinación en la cual lasalida toma el valor 1.

La forma Algebraica queda:Formas Canónicas

Formas Canónicas: Mintérminos

Se denomina mintérmino a un factor de unaexpresión booleana que está formado por el AND detodas las variables.Una función de conmutación corresponde al OR demintérminos. La función generada de esta manera sedenomina OR canónica de AND.

F (X1, X2, X3)= OR (m0,m1,..,mn)F (X1, X2, X3)= (m0,m1,..,mn)

Para el ejemplo anterior:

F (X1, X2, X3)= OR (1,3,5,6)

F (X1, X2, X3)= (1,3,5,6)

Formas Canónicas: Mintérminos

X1 X2 X3 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 1

1 1 1 0

(X1 + X2 + X3)

Una forma alternativade expresar la funciónes examinándo lascombinaciones en las cuales vale 0

Formas Canónicas: Maxtérminos

(X1 + X2 + X3)

(X1 + X2 + X3)

(X1 + X2 + X3)

La función queda ahora:

F (X1, X2, X3)= (X1 + X2 + X3) (X1 + X2 + X3)

(X1 + X2 + X3) (X1 + X2 + X3)

Para convertir se observa la combinación deentrada para la cual la salida toma el valor 0. Lavariable aparece sin complementar si vale 0 parala combinación en la cual la salida vale 0 y


aparece complementada si vale 1 para lacombinación en la cual la salida toma el valor 0.

Se denomina maxtérmino a un factor de unaexpresión booleana que está formado por el OR detodas las variables.

Una función de conmutación corresponde al AND demaxtérminos. La función generada de esta manerase denomina AND canónica de OR.

F (X1, X2, X3)= AND (M0,M1,..,Mn)

F (X1, X2, X3)= P (M0,M1,..,Mn)


Para el ejemplo anterior:

F (X1, X2, X3)= AND (0,2,4,7)

F (X1, X2, X3)= P (0,2,4,7)


Dada una función en su forma algebraica,obtener la forma canónica:

F (A,B,C,D)= A C + A B C + A B C D= A C (B+B) (D+D) + A B C (D+D) + ABCD= ABC (D+D) + ABC (D+D) + ABCD + ABCD+ ABCD

F (A,B,C,D)= (7,8,9,10,11,12,13)

Obtención de Formas Canónicas

Dada una función en OR canónico de AND, obtenerla forma canónica AND canónico de OR.

F (A,B,C)= (0,1,2,7)

F (A,B,C)’= (3,4,5,6)= A’BC + AB’C’ + AB’C + ABC’

F (A,B,C)’= (A+B’+C’) (A’+B+C) (A’+B+C’) (A’+B’+C)

F (A,B,C)= P (3,4,5,6)

Conversión entre Formas Canónicas

Funciones Equivalentes

Dos funciones de conmutación son equivalentescuando sus expansiones en formas canónicas sonidénticas, es decir tienen el mismo valor de salidapara las mismas combinaciones de entradas.

Una forma similar de expresar lo mismo es que dosfunciones de conmutación son equivalentes cuandotienen la misma Tabla de Verdad.

Minimización de Funciones

Minimizar una función de conmutación

F (X1, X2,.., Xn) es encontrar una función

G (X1, X2,.., Xn) equivalente a F y que contenga elmínimo número de términos y literales en unaexpresión OR de AND.

Ejemplo:

F(A,B,C,D)= ACD + ACD + ACD + ACD +ABD

= (A+A)CD + (A+A)CD + ABD

= CD + CD + ABD

= (C+C)D + ABD

= (D+D)AB= A B

Minimización de Funciones

Mapas de Karnaugh

El mapa de Karnaugh es un arreglo matricial detodas las posibles combinaciones que puedenasumir un grupo de variables.

Los mapas de Karnaugh son formas modificadas deTablas de Verdad que permiten minimizar funciones

Mapas de Karnaugh

Los mapas de Karnaugh permiten un diseñorápido de circuitos combinacionales demínimo costo, es decir, con el mínimonúmero de compuertas.

m0 m1 m3 m2

m4 m5 m7 m6

m0 m1

m2 m3

YX

Construcción de Mapas de Karnaugh

Para construir un Mapa de Karnaugh sesiguen los siguientes pasos:

Para una función de n variables, el MK tiene 2n celdas.En las coordenadas se anotan las combinaciones

1

según código de Grey.

0 1

0

XYZ

0

1

00 01 11 10

n=2 n=3

m0 m1 m3 m2

m4 m5 m7 m6

m12 m13 m15 m14

m8 m9 m11 m10


ABCD

00 01 11 10

00

01

11

10

n=4

0 1 3 2

4 5 7 6

12 13 15 14

8 9 11 10

AB 00

01

11

10

CD00 01 11 10

Construcción de:Mapas de Karnaugh

Cada combinación de unos y ceros de unacelda se le asigna el equivalente decimal dela representación binaria.

1 1 0 0

0 1 0 1

0 1 1 0

0 1 0 0

Ejemplo, encontrar el mapa de la función:

F (A,B,C,D)= (0,1,5,6,9,13,15)


ABCD

00

01

11

10

00 01 11 10


Dos celdas son adyacentes si difieren enuna variable.


Un subcubo es un conjunto de 2m celdascon valor 1, las cuales tienen la propiedadque cada celda es adyacente a m celdasdel conjunto.

1 1 1 1

0 1 1 0

1 1 1 1

1 1 1 1

ABCD

00

01

11

10

00 01 11 10


SubcuboTamaño 4

SubcuboTamaño 4

SubcuboTamaño 8

Minimización

Un subcubo se puede expresar por untérmino algebraico que contiene n-m

literales donde n es el número de variablesy 2m es el tamaño del subcubo.

1 1 1 1

0 1 1 0

1 1 1 1

1 1 1 1

ABCD

00

01

11

10

00 01 11 10

BD

A

MinimizaciónAB

Minimización

Una función se puede expresar como la suma delos subcubos necesarios para cubrir todos los unosdel M.K.Para que una función sea mínima, hay que buscarel mínimo número de subcubos, o sea, cadasubcubo debe ser del mayor tamaño posible.El método de M.K. es un método manual. Entérminos prácticos sirve para minimizar funcionesde hasta 6 variables.

1 1 1 1

0 1 1 0

1 1 1 1

1 1 1 1

ABCD

00

01

11

00 01 11 10

MinimizaciónAB

BD

C

10

F(A,B,C,D) ABBD A

Minimización

En resumen:

–

–

–

–

1 celda representa un mintérmino

2 celdas adyacentes representan un término de 3variables.



Construcción de MK: AND de OR

Una función se puede expresar también como elproducto (AND) de los subcubos necesarios paracubrir todos los ceros del MK.

Ejemplo : Minimizar

F(A,B,C,D) (0,2,5,8,10,13,14)

00

01

11

10

F(A,B,C,D)(BD)(BCD)(ACD)

0 1 1 0

1 0 1 1

1 0 1 0

0 1 1 0

Construcción de MK: AND de OR

Para minimizar se agrupan ceros del mapa:

ABCD 00 01 11 10

Fundamentos de Electrónica

010101010100101010101010101010010101010110010101010101010100101010101010101010010101010110010101010101010100101010101010101010010101010110010101010101010100101010101010101010010101010110010101010101010100101010101010101010010101010110010101010101010100101010101010101010010101010110010101010101010100101010101010101010010101010110010101010101010100101010101010101010010101010110010101010101010100101010101010101010010101010110010101010101010100101010101010101010010101010110010101010101010100101010101010101010010101010110010101010101010100101010101010101010010101010110010101

[ Sistemas Digitales ]

Präsentation

Álgebra Booleana

59

Las variables Booleanas sólo tomanlos valores binarios: ó 0.

Una variable Booleana representaun bit que quiere decir:

Binary digIT

x y x+y

0 0 0

0 1 1

1 0 1

1 1 1



Präsentation

Álgebra Booleana

Operación OR:

60

x y x+y

0 0 0

0 1 1

1 0 1

1 1 1



Präsentation

Álgebra Booleana

Operación OR:

Si una de las entradas es 1, entonces la salida es 161



Präsentation

Álgebra Booleana

Compuerta OR:

xx + y

y

62

x y xy

0 0 0

0 1 0

1 0 0

1 1 1



Präsentation

Álgebra Booleana

Operación AND:

63

x y xy

0 0 0

0 1 0

1 0 0

1 1 1

Arquitectura de Computadores


Präsentation

Álgebra Booleana

64

Operación AND:

Si una de las entradas es 0, entonces la salida es 0



Präsentation

Álgebra Booleana

Compuerta AND:

xxy

y

65

x x

0 1

1 0



Präsentation

Álgebra Booleana

66

Operación NOT:

x x

0 1

1 0



Präsentation

Álgebra BooleanaOperación NOT:

La salida es la negación de la entrada

67



Präsentation

Álgebra Booleana

Compuerta NOT:

x x

68

Fundamentos de ElectrónicaPräsentation

Álgebra Booleana[ Sistemas Digitales ]

Ejercicio:

Encontrar w =xy + yz para todas las combinaciones.

C. Baier 69

x y z xy yz w

0 0 0 0 0 0

0 0 1 0 0 0

0 1 0 0 0 0

0 1 1 0 1 1

1 0 0 1 0 1

1 0 1 1 0 1

1 1 0 0 0 0

1 1 1 0 1 1

Fundamentos de ElectrónicaPräsentation

Álgebra Booleana[ Sistemas Digitales ]

Ejercicio: ( Tabla verdad)

Encontrar w =xy +yz para todas las combinaciones.

70



Präsentation

Álgebra Booleana

Postulados de Identidad:

•

•

0+ x = ?

1 × x = ?

71



Präsentation

Álgebra Booleana


•

•

0+ x = x

1 × x =?

72



Präsentation

Álgebra Booleana


•

•

0+ x = x

1 × x = x

73



Präsentation

Álgebra Booleana

Propiedad conmutativa:

•

•

x + y

xy

= ?

= ?

74



Präsentation

Álgebra Booleana


•

•

x + y

xy

= y + x

= ?

75



Präsentation

Álgebra Booleana


•

•

x + y

xy

= y + x

= yx

76



Präsentation

Álgebra Booleana

Axiomas de complemento:

•

•

x x = ?

x + x = ?

77



Präsentation

Álgebra Booleana

78


•

•

x x =0

x + x =?



Präsentation

Álgebra Booleana

79


•

•

x x =0

x + x =1



Präsentation

Álgebra Booleana

80

Teorema de idempotencia:

•

•

xx = ?

x + x = ?



Präsentation

Álgebra Booleana

81


•

•

xx = x

x + x =?



Präsentation

Álgebra Booleana

82


•

•

xx = x

x + x = x



Präsentation

Álgebra Booleana

83

Teorema de elementos dominantes:

•

•

x × 0 =?

x + 1 = ?



Präsentation

Álgebra Booleana

84


•

•

x × 0 =0

x + 1 = ?



Präsentation

Álgebra Booleana

85


•

•

x × 0 =0

x + 1 = 1



Präsentation

Álgebra Booleana

86

Propiedad distributiva:

• x ( y + z ) = ?

• x +( yz ) = ?



Präsentation

Álgebra Booleana

87


•

•

x ( y + z ) = xy + xz

x +( yz ) = ?



Präsentation

Álgebra Booleana

88


•

•

x ( y + z ) = xy + xz

x +( yz ) = ( x+y )( x + z )

Arquitectura de ComputadoresPräsentation

Álgebra Booleana

89


Ley involutiva:

• ( x )= ?


Álgebra Booleana

90


Ley involutiva:

• ( x )= x



Präsentation

Álgebra Booleana

91

Teorema de absorción:

• x +xy = ?

• x ( x + y ) = ?



Präsentation

Álgebra Booleana

92


• x +xy = x

• x ( x + y ) = ?



Präsentation

Álgebra Booleana

93


• x +xy = x

• x ( x + y ) = x



Präsentation

Álgebra Booleana

94

Teorema del consenso:

• x +xy = ?

• x ( x + y ) = ?



Präsentation

Álgebra Booleana

95


• x +xy = x + y

• x ( x + y ) =?



Präsentation

Álgebra Booleana

D.Mery 96


• x +xy = x + y

• x ( x + y ) = xy



Präsentation

Álgebra Booleana

D.Mery 97

Teorema asociativo:

• x + ( y + z )= ?

• x ( yz ) = ?



Präsentation

Álgebra Booleana

98

Teorema asociativo:

• x + ( y + z )= ( x + y )+ z

• x ( yz ) = ?



Präsentation

Álgebra Booleana

99

Teorema asociativo:

• x + ( y + z )= ( x + y )+ z

• x ( yz ) = ( x y) z


Álgebra Booleana

100


Leyes de Morgan:

• ( x + y )= ?

• ( xy ) = ?


Álgebra Booleana

101


Leyes de Morgan:

• ( x + y )= x y

• ( xy ) = ?


Álgebra Booleana

102


Leyes de Morgan:

• ( x + y )= xy

• ( xy ) = x + y


010101010100101010101010101010010101010110010101010101010100101010101010101010010101010110010101010101010100101010101010101010010101010110010101010101010100101010101010101010010101010110010101010101010100101010101010101010010101010110010101010101010100101010101010101010010101010110010101010101010100101010101010101010010101010110010101010101010100101010101010101010010101010110010101010101010100101010101010101010010101010110010101010101010100101010101010101010010101010110010101010101010100101010101010101010010101010110010101010101010100101010101010101010010101010110010101


Präsentation

Circuitos combinacionales

103

Un circuito combinacional es aquelcuya salida depende sólo de las

entradas.

Es decir:

• No depende de la salida• No depende del tiempo

x y xy

0 0 0

0 1 0

1 0 0

1 1 1



Präsentation


104

Compuerta AND:

xxy

y

TABLA DE VERDAD

x y xy

0 0 1

0 1 1

1 0 1

1 1 0



Präsentation


105

Compuerta NAND:

xxy

y

TABLA DE VERDAD

x y x+y

0 0 0

0 1 1

1 0 1

1 1 1



Präsentation


106

Compuerta OR:

xx +y

y

TABLA DE VERDAD

x y x+y

0 0 1

0 1 0

1 0 0

1 1 0



Präsentation


107

Compuerta NOR:

xx +y

y

TABLA DE VERDAD

x y x+y

0 0 0

0 1 1

1 0 1

1 1 0



Präsentation


108

Compuerta XOR (OR exclusivo):

xx +y

y

TABLA DE VERDAD

x y x+y

0 0 1

0 1 0

1 0 0

1 1 1



Präsentation


109

Compuerta XNOR (NOR exclusivo):

xx +y

y

TABLA DE VERDAD



Präsentation110

Ejercicio:

Diseñe el circuito combinacional que realice la función

w=xy +yz .




Präsentation111


Ejercicio:


w=xy +yz .

xy

w

z

Arquitectura de ComputadoresPräsentation112


Primera Ley de Morgan:

•


( x + y )= x y

x

yx + y = x y



Primera Ley de Morgan:

•


( x + y )= x y = xy

x

yxy

Arquitectura de ComputadoresPräsentationD.Mery 114


Segunda Ley de Morgan:

• ( xy ) = x + y


xxy = x+y

y



Segunda Ley de Morgan:

• ( xy ) = x + y = x + y


xx+y

y



Präsentation116

Ejercicio:


w = x y + y z usando sólo compuertas NAND de dosentradas.




PräsentationD.Mery 117


Ejercicio:


w = x y + y z usando sólo compurtas NAND de dosentradas.

xy

w

z

EJERCICIO

UNLA Organización de Computadoras (2014) ALGEBRA DE BOOLE.

Documents

Transcript of UNLA Organización de Computadoras (2014) ALGEBRA DE BOOLE.