Está en la página 1de 38

TEMA Nº 3 ALGEBRA DE BOOLE

3.1. INTRODUCCIÓN.

El concepto moderno de algebra abstracta fue desarrollada por el matematico ingles George Boole en su estudio de los sistemas adstratos generales , opuestos a los casos particulares de tales sistemas. En su obra publicada en 1854, An investigado of the Lows of Thought, creo un sistema de lógica matemática en términos que ahora llamamos algebra booleana.

A partir del 1938 Claude Elwood Shannon, desarrollo el algebra de las funciones de conmutación y mostro su relación con el algebra de la lógica.

Aplicándola en el diseño de circuitos de conmutación eléctrica biestable en

1948.

Pero para empezar a definir el algebra de boole, es importante conocer otros conceptos, como el de porque el algebra de boole es un sistema axiomatico.

3.1.1. Sistemas axiomáticos.

Un sistema axiomático es una colección de conocimientos ordenados jerárquicamente, mediante reglas o leyes lógicas aplicadas a un número limitado de conceptos o principios básicos. También podemos decir que un sistema axiomático, es una forma de teoría deductiva, construida a partir de condiciones iniciales que se van desarrollando por reglas de definición.

En lógica y matemáticas, un sistema axiomático consiste en un conjunto de axiomas que se utilizan, mediante deducciones, para demostrar teoremas.

En matemáticas, existe también un sistema axiomático, que es un conjunto de axiomas que pueden ser utilizados para la derivación lógica de teoremas, mediante deducciones.

Un sistema axiomático se compone de:

TÉRMINOS PRIMITIVOS: constituidos por elementos, conjuntos o relaciones, cuya naturaleza no queda especificada de antemano.

DEFINICIONES: Conceptos que se crean mediante conectivos lógicos de los términos primitivos.

AXIOMAS: Proposiciones no demostrables que se establecen como ciertas,

son las nociones fundamentales de la teoría. O, son funciones proposicionales

cuantificadas, relativas a las variables que representan a los términos primitivos; es decir, son propiedades a las que deben satisfacer dichos términos primitivos. Los axiomas definen implícitamente a éstos.

TEOREMAS: Leyes que se demuestran aplicando los axiomas, se derivan

de los axiomas. O también podemos decir que son, propiedades que se deducen de los axiomas. Cuando se sustituyen las variables o términos primitivos por significados concretos, se tiene una interpretación del sistema axiomático; si esta

interpretación es tal que los axiomas se convierten en proposiciones verdaderas, entonces se tiene un modelo del sistema axiomático. En este caso, todo lo demostrado en abstracto en el sistema es válido para el modelo, y nada hay que probar en particular.

Un sistema axiomático BIEN FORMULADO satisface:

CONSISTENCIA LOGICA. Carece de proposiciones contradictorias.

INDEPENDENCIA DE SUS AXIOMAS: ninguno de sus axiomas puede deducirse delos otros axiomas.

COMPLETITUD: posee el número suficiente y necesario de enunciados

lógicos que garanticen que toda proposición que se infiera de la teoría es consecuencia lógica de los axiomas. Ejemplo : Consideramos el siguiente sistema axiomático. 1 ) Términos primitivos. Un conjunto A, y una relación R definida en A, es decir, R A X A No se especifica aquí cuál es el conjunto ni se define la relación. 2) axiomas:

A 1 : El conjunto Relación R cumple la propiedad Reflexiva en A A 2 : R es antisimétrica en A A 3 : R es transitiva en A

Los tres axiomas pueden resumirse en el siguiente: R es una relación de orden amplio en A. 3) definición: en A se considera la relación S, tal que

(a , b) e

S (b , a) e

R

4) teoremas. Demostramos la siguiente propiedad relativa a S:

S es reflexiva en A.

a : a e A => (a . a)

(a, a) e R => (a ,a) e S,

e R,

por A 1 por 3)

Entonces, por la ley del silogismo hipotético, resulta a : a e A => (a , a) e S y en consecuencia, S es reflexiva en A. Con procedimiento análogo, se demuestra que S es antisimétrica y transitiva en A. Esto significa que la relación S, inversa de R, determina un orden amplio en A. Damos las siguientes interpretaciones para este sistema axiomático:

a) Si A es el conjunto de los números reales, y R es la relación de "menor o igual" se verifican A 1 , A 2 y A 3 , La relación S es, en este caso la de "mayor o igual". Se tiene un modelo del sistema axiomático. b) Si A es el conjunto de las partes de un conjunto U y R es la relación de

inclusión, entonces valen los axiomas y se tiene otro modelo del sistema.

3.2. ALGEBRA DE BOOLE.

El sistema axiomático que conduce al álgebra de Boole consiste en:

1)términos primitivos son: un conjunto B F y dos funciones que se denotan con + y

2 ) axiomas

B 1 : + y . son dos leyes de composición interna en B.

B 2 : + y . son conmutativas.

B 3 : + y . son asociativas.

B 4 :+ y . son distributivas, cada una respecto de la otra.

B 5 : Existen neutros en B, respecto de + y de . que se denotan con 0 y 1, respectivamente.

B 6 : Todo elemento a e B admite un complementario a, tal que

a + a = 1 y a .

a = 0

Como se ve en los axiomas, el algebra de boole es una estructura interna, que tiene dos leyes de composición interna, en un conjunto B = { 0,1 }. Esto

quiere decir que la estructura algebraica es (B, ‘, +, . )

3.2.1. Dualidad en el álgebra de Boole.

Dos expresiones booleanas se dicen duales una de la otra, si una se puede obtener de la otra cambiando las operaciones + por . y viceversa y cambiando 0 por 1.

Así. los duales de los seis axiomas relativos a la operación + son los seis correspondientes de la segunda operación.

El principio de dualidad establece que el dual de un teorema del álgebra de Boole es también un teorema del mismo sistema axiomático.

Ejemplo:

el dual de

es:

(1 + a ) .

(0

( b + 0) = b

.

1) = b

a ) + ( b

.

Principio de dualidad

En un álgebra de Boole, el dual de cualquier teorema es también un teorema. Esto significa que, si cualquier teorema es una consecuencia de los axiomas de un álgebra de Boole, entonces el dual también es una consecuencia de estos axiomas ya que se puede probar usando el dual en cada paso de la demostración original.

3) TEOREMAS:

Teorema 1: Complemento

el elemento complemento a es único.

Teorema 2: Teorema de los elementos nulos, o absorción. para cada elemento de b se verifica:

a+1 = 1

y

a·0 = 0

Teorema 3: Complemento. cada elemento identidad es el complemento del otro.

0 = 1

y

1 = 0

Teorema 4: Teorema de idempotencia:

para cada elemento de b, se verifica:

a + a = a , a · a = a

Teorema 5: Teorema de involución:

para cada elemento de b, se verifica:

a

= a

Teorema 6: Teorema de absorción:

para cada par de elementos de b, se verifica:

a + a · b = a

a ·

(a + b) = a

Teorema 7:

para cada par de elementos de b, se verifica:

a + a · b = a + b

a · (a + b) = a · b

Teorema 8: LEYES DE DEMORGAN:

para cada par de elementos de b, se verifica:

( a + b ) = a . b

(a · b) = a + b Teorema 9: TEOREMA DE ASOCIATIVIDAD:

cada uno de los operadores binarios (+) y (·) cumple la propiedad asociativa:

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

3.2.2. Definición del álgebra de Boole.

Sea B un conjunto no vacio y +, · dos leyes de composición interna de B. Decimos que (B,+, ·) es un algebra de Boole si:

1) + y · son asociativas.

2) + y · son conmutativas.

3) + tiene elemento neutro 0 y · tiene elemento neutro 1.

4) + y · son distributivas una con respecto de la otra.

5) Para todo a B existe a B tal que a + a = 1 y a · a = 0. Entonces diremos que a es el complementario de a.

En el conjunto B = {0, 1} se consideran las leyes de composición, interna que vienen dadas por las siguientes tablas:

+

0

1

0

0

1

1

1

1

.

0

1

0

0

0

1

0

1

Entonces (B,+, ·) es un algebra de Boole que tiene la siguiente interpretación:

Supongamos que los valores de entrada 1, 0 corresponden respectivamente a las posiciones ON y OFF de los interruptores de un circuito mientras que los valores 1, 0 del interior representan la salida o no de corriente. Entonces + representa un circuito con dos interruptores en paralelo y · representa un circuito con dos interruptores en serie. De esta interpretación, deducimos que las operaciones booleanas son: La suma lógica (+) y el producto Lógico(·).

Si (B,+, ·) es un algebra de Boole y n N, definimos en B n ,dos operaciones que denotaremos por + y · :

Si (a 1 ,

, a n ), (b 1 ,

 

, b n ) B n se define,

 

(a 1 ,

.

, a n ) + (b 1 ,

, b n ) = (a 1 +

b 1 ,

.

.

. , a n +

b n )

y

(a 1 ,

.

, a n ) ·

(b 1 , .

.

.

,

b n ) = (a 1 · b 1 ,

 

, a n · b n ).

Entonces (B n , +, ·) es un algebra de Boole con elementos neutros (0,

(1,

 

1) para = (a 1 ,

+

y , a n ).

·

respectivamente y si (a 1 ,

 

,a

.

.

.

,

.

.

.

(a 1 ,

,a n )

 

n )

, 0) y

B n entonces

Presentamos una serie de propiedades que se satisfacen en un algebra de Boole. Dado que de la definición de algebra de Boole, las operaciones + y · satisfacen los mismos axiomas, si una propiedad es cierta, la propiedad que se obtiene de intercambiar los + con los · y los 1 con los 0 es también cierta. O sea 0 = 1 y 1 = 0.

3.2.3. Funciones Booleanas.

Un tipo especial de funciones son las denominadas funciones booleanas. Su especificidad se centra en el hecho que su dominio e imagen se basan en el conjunto {0,1}.

Su importancia radica en el hecho que son imprescindibles en la era digital:

forman parte del núcleo que permite comprender, más allá de los requerimientos meramente tecnológicos, las bases de la Informática. Sea B = {0, 1} y sea B n , un conjunto definido anteriormente. usando el

producto cartesiano se puede definir B 2 = {0,1} x {0,1} = {(00), (01), (10), (11)}. Para X = (X 1 , X 2 ) podemos definir una función booleana f de dos variables según: f (X): B 2 B, cada punto de B 2 es función de B

X n ) se puede definir una

función booleana f de n variables según: f (X): B n B, cada punto de B n , es una función de B. La función booleana puede tomar valores de 1 o 0 dependiendo de los valores de sus variables.

Ejemplo: Sea una función f: B 2 → B f(x,y)= x y +x y, encuentre el valor de la función booleana, usando tablas de valor. En este caso el dominio de la función es el conjunto de pares ordenados {(0,0),(0,1), (1,0) , (1,1) } y el rango de la función es el conjunto {0,1} . Podemos calcular el valor de la función en cada uno de los puntos del

conjunto de salida; f(0,0) = 0.1+1.1 = f(0,1) = 0.0+1.0 = 0 f(1,0) = 1.1+0.1 = 1 f(1,1) = 1.0+0.0 = 0

Para n variables booleanas con X = (X 1 , X 2 ,

1

La tabla de verdad de la función es:

x

Y

f

0

0

1

0

1

0

1

0

1

1

1

0

Podemos representarla utilizando diagramas. B 2

Y f 0 0 1 0 1 0 1 0 1 1 1 0 Podemos representarla

B

Si analizamos una función f: B 3 → B, la forma de representar como tabla de verdad será:

X

Y

Z

F(X,Y, Z)

0

0

0

F(0,0,0)

0

0

1

F(0,0,1)

0

1

0

F(0,1,0)

0

1

1

F(0,1,1)

1

0

0

F(1,0,0)

1

0

1

F(1,0,1)

1

1

0

F(1,1,0)

1

1

1

F(1,1,1)

Como se vio en el ejemplo anterior, en esta tabla se resume todo el análisis de una función con 3 variables.

Para n Z, sean f,g: B n B, dos o mas funciones booelanas, entonces definimos que:

1. f y g son iguales, si tienen el mismo valor para cada una de las 2 n posibles asignaciones a las n variables.

2. El complemento de f es la función booleana definida sobre B n como:

f (x 1 ,x 2 ,………x n ) = f (x 1 ,x 2 ,………x n )

3. Las suma y el producto de f y g respectivamente como:

(f + g) (x 1 ,x 2 ,………x n ) = f (x 1 ,x 2 ,………x n ) + g (x 1 ,x 2 ,………x n ) ( f · g) ) (x 1 ,x 2 ,………x n ) = f (x 1 ,x 2 ,………x n ) · g (x 1 ,x 2 ,………x n )

3.2.3.1. Propiedades.

Sean las funciones f, g, h : B n B, funciones booleanas, y sean x, y, z, las variables booleanas. Las propiedades que satisfacen estas funciones y las variables booleanas son:

1) De idempotencia.

f + f

 

= f

x + x x · x

= x

f

· f

= f

 

= x

2) Conmutativas

f + g = g + f

 

x + y = y + x

 

f · g

= g · f

x · y

= y· x

3) Asociativas

(f + g) + h =

 

f + (g + h)

(x + y) + z = x + (y + z) (x · y) · z = x · (y · z)

(f · g) · h = f · (g · h)

 

4) Distributivas

f + (g · h) = (f + g) · (f + h)

x+ (y · z) = (x + y) · (x + z)

f · (g + h) = (f ·

g) + (f ·

h)

x · (y + z) = (x · y) + (x·

z)

5) De absorción

f + f · g = f ; f · (f + g) = f

x + x·y = x ; x·(x + y) = x

f + 1 = 1

;

f · 0 = 0

x + 1 = 1

;

x · 0 = 0

6) De Complemento.

f + f =

1

;

f ·

f

= 0

x + x = 1 ; x = x

x · x

= 0

f

= f

 

7) De De Morgan

 

f + g = f · g

 

x + y = x · y

 

f · g

= f + g

x · y

= x + y

8) De Identidad

 

f + 0=

f

x+ 0=

x

f

·

1

= f

 

x · 1 = x

 

- Sea la siguiente función booleana f(x,y)= x y + x y. Utilizando propiedades simplicar la misma.

f(x,y)= x y + x y

f(x,y)= (x + x) y

f(x,y) = 1 y

(Distributiva del producto respecto a la suma)

(De complemento)

f(x,y)= y

Ahora veamos el proceso de encontrar a partir de una tabla de valor, la función Booleana.

- Obtener las formulas de las funciones f, g : B 2 B, dadas en la siguiente tabla de valores:

(de identidad)

x

y

f(x,y)

g(x,y)

0

0

1

0

0

1

0

1

1

0

1

0

1

1

0

1

→ x · y

x

→x · y

x

y

y

Solución: para obtener la formula de una función boleana se procede de la siguiente manera:

Se buscan valores 1 en la columna de las funciones f ó g, y luego se leen las variables, utilizando para la lectura el producto lógico (como se ve a la derecha de la tabla de valor). Siendo el complemento de la variable, cuando x = 0 (x), y la variable cuando x = 1 (x). Luego de leer se escribe la función como suma de los productos leídos.

f(x,y) = x

y + x y

Para g, exactamente igual, teniendo la función:

g(x,y) = x y + x y

3.2.3.2. FORMAS NORMALES DE LAS FUNCIONES BOOLEANAS.

MINTÉRMINO (m): término producto en el que aparecen todas las variables, ya sean complementadas o sin complementar. Un mintérmino es un término producto que es 1 exactamente en una línea de la tabla de Verdad.

MAXTÉRMINO (M): término suma en el que aparecen todas las variables, ya sean complementadas o sin complementar. Un maxtérmino es un término suma que es 0 exactamente en una línea de la tabla de verdad.

FORMA NORMAL DISYUNTIVA O FORMA CANÓNICA DISYUNTIVA (Suma de Mintérminos o Suma de Productos) Una función booleana tiene la forma normal disyuntiva si está escrita como la suma de términos (de valor 1) donde cada término es un producto que involucra todas las variables complementadas o no.

Un mintérmino es un término producto que es 1 exactamente en una línea de la tabla de Verdad. La fórmula compuesta por todos los mintérminos será idénticamente 1.

Cada función booleana, puede expresarse como suma de mintérminos. Y esa fórmula es única.

A cada término de la forma normal disyuntiva se le llama término minimal o mintérmino y se denota como m.

La forma normal disyuntiva de n variables tiene 2 n términos y se denomina forma normal disyuntiva completa de n variables.

Forma NORMAL DISYUNTIVA COMPLETA (para dos variables)

x

y

f(x,y)

0

0

1

0

1

1

1

0

1

1

1

1

mintérminos

→ x · y

f(x,y) = x

→ x · y

→ x · y

x · y

y + x y + x y + x y = 1

Ejemplo: Hallar y simplificar la función booleana, que tiene los siguientes valores mostrados en la tabla de valor.

Nº decimal equivalente

x

y

z

f(x,y,z)

Mintérmino

0

0

0

0

1

x

y

z

1

0

0

1

0

 

2

0

1

0

1

x

y z

3

0

1

1

1

x

y z

4

1

0

0

0

 

5

1

0

1

0

 

6

1

1

0

0

 

7

1

1

1

0

 

La función:

f(x,y,z)= x y

z + x

y

z + x

y

z

Simplificando la función:

f(x,y,z)= x

y

z + x

y

(z + z)

f(x,y,z)= x

y

z + x

y

En la tabla de valor, se puede ver en la 1º columna, un número decimal equivalente, que es un número que se le asigna a cada mintermino, de forma que se pueda expresar el resultado en la forma canónica, o como sumatoria (S) de minterminos, que es otra forma de expresar la función.

f = S m (0,2,3)

FORMA NORMAL CONJUNTIVA O FORMA CANÓNICA CONJUNTIVA

(Producto de Maxtérminos o Producto de sumas). Una función booleana tiene

la forma normal conjuntiva si está escrita como producto de términos (de valor

cero) donde cada término es la suma de todas las variables complementadas

o no. A cada término de la forma normal conjuntiva se le llama término

maximal o maxtérmino y se denota como Mi La fórmula compuesta por todos los maxtérminos será idénticamente 0. Cada fórmula puede expresarse como producto de maxtérminos. Y es única La forma normal conjuntiva de n variables tiene 2 n términos y se denomina forma normal conjuntiva completa de n variables.

Forma NORMAL CONJUNTIVA COMPLETA (para dos variables)

x

y

f(x,y)

0

0

0

0

1

0

1

0

0

1

1

0

Maxtérminos

→ x + y

f(x,y) = (x + y)(x + y)(x + y)(x + y) = 0

→ x + y

x + y

→ x + y

En la forma Normal conjuntiva, el valor de la variable es cero (x = 0) y el valor del complemento de la variable es uno ( x = 1).

Y como se ve en la tabla de cada fila, se leen los valores de las variables, directas o complementadas como una suma de variables. Las cuales al escribir la función se las une por medio del producto lógico. Ejemplo: Hallar y simplificar la función booleana, dada en la siguiente tabla de valor:

Nº decimal equivalente

x

y

z

f(x,y,z)

Maxtérmino

0

0

0

0

1

 

1

0

0

1

1

 

2

0

1

0

1

 

3

0

1

1

1

 

4

1

0

0

0

x+ y + z

5

1

0

1

0

x+ y + z

6

1

1

0

1

 

7

1

1

1

0

x+ y + z

En este caso hay menos ceros que unos, por lo tanto, vamos a utilizamos la forma normal conjuntiva, para encontrar la formula de la función booleana.

f(x,y,z) = ( x + y + z)(x + y + z )( x + y + z )

Simplificando, tenemos:

f(x,y,z) = ( x + y + z )( x + z + y y)

f(x,y,z) = ( x + y + z )( x + z )

f(x,y,z) =

x + ( y + z) z

f(x,y,z) =

x + (y z + z z )

f(x,y,z) =

x + y z

Las formas normales completas permiten de manera sencilla la conversión de una forma normal a la otra mediante el empleo del doble complemento.

Ejemplo: Hallar la forma normal conjuntiva de la función:

f(x,y,z) = x y z + x y z + x y z + x y z + x y z

Escribimos f como el complemento del complemento f = f:

f(x,y,z) = [( x y z + x y z + x y z + x y z + x y z )]

La primera negación (la de adentro) la calculamos con las leyes D'Morgan.

f(x,y,z) = [( x + y + z )( x + y + z)( x + y + z)( x + y + z)( x + y + z )]

Para el segundo complemento, escribimos los maxtérminos de 3 variables que hacen falta (hay 5 términos faltan 3 términos). Los términos son:

f(x,y,z) = ( x + y + z )( x + y + z)( x + y + z)

También otra forma de resolver el ejemplo es:

Se escribe la función como forma normal disyuntiva, en su forma canonica, como:

f = S m (3, 4, 5, 6, 7)

Luego, como vimos en las tablas anteriores, una función booleana se expresa, tanto por ceros (0), como por unos (1). Por lo tanto la función booleana, se expresa como suma de minterminos o como producto de maxterminos. Lo que quiere decir que si tenemos los minterminos (3,4,5,6,7), los maxterminos serán los (0, 1, 2), o lo que es lo mismos:

f = P M ( 0, 1, 2 )

Que escrito en su forma de función es:

f(x,y,z) = ( x + y + z )( x + y + z)( x + y + z)

Ejemplo: Hallar la forma normal disyuntiva de la función

f(x,y,z) = (x + y+ z)( x+ y + z)(x + y + z)

Nuevamente utilizamos el doble complemento.

f(x,y,z) = [(x + y + z)( x+ y + z)( x + y + z)]

Para el primer complemento, se utiliza las leyes de D’morgan.

el primer complemento, se utiliza las leyes de D’morgan. f(x,y,z) = [(x + y + z)
el primer complemento, se utiliza las leyes de D’morgan. f(x,y,z) = [(x + y + z)
el primer complemento, se utiliza las leyes de D’morgan. f(x,y,z) = [(x + y + z)

f(x,y,z) = [(x + y + z) + ( x+ y + z) + ( x + y + z )]

f(x,y,z) = ( x y z + x y z + x y z )

Para la segunda negación buscamos, en la forma normal disyuntiva completa, los mintérminos que hacen falta (5 mintérminos)

f(x,y,z) =

Si escribimos la función en su forma canonica, tenemos:

x y z + x y z + x y z + x y z + x y z

f = P M (1, 2, 5)

Los minterminos, que completan los 8 numeros decimales equivalentes son:

f = S m (0, 3, 4, 6, 7)

Siendo sus valores 0 = 000; 3 = 011; 4 = 100; 6 = 110; 7 = 111. además la

variable x = 1 y el complemento x = 0.

f(x,y,z) =

x

y z + x y z + x y

z + x y z + x y z

Ejemplo: Sea f : B 3 B tal que, f(x,y,z) = x

y + x y z

Hallar: a) La función como forma normal disyuntiva (fnd) y como S m , b) La función como forma normal conjuntiva (fnc) y como P M .

En este ejemplo, vamos a utilizar el método de completar variables. Que consiste en aumentar las variables que faltan en cada mintermino. Esto se logra aplicando la propiedad de complemento, que dice x + x = 1. en la función tenemos un mintermino incompleto (x y), entonces debemos aumentar la variable z.

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

Ahora la función, como forma normal disyuntiva (fnd) es:

f(x,y,z) =

x

y z + x y z +

x y z

y

f = S m (5, 6, 7)

b) La función en su forma canonica es: f = P M (0, 1, 2, 3, 4)

A partir de esta función encontramos la función como forma normal conjuntiva (fnc). 0=000; 1=001; 2=010; 3=011; 4=100. siendo x = 0 y x = 1.

f(x,y,z) = ( x + y + z )( x + y + z)( x + y + z)( x + y + z)( x + y + z)

3.3. Redes de Puertas Logicas.

Las redes de puertas lógicas son aplicaciones del algebra de boole, en circuitos electrónicos compuestos por resistencias, diodos y transistores que realizan las distintas operaciones booleanas. Las redes de puertas lógicas pueden ser, un CONJUNTO DE PUERTAS COMPLETO con el que se puede implementar cualquier función lógica.

Cada una de las puertas (o compuertas) lógicas se las representa mediante un Símbolo, y la operación que realiza (Operación lógica) se corresponde con una tabla, llamada Tabla de Verdad.

3.3.1. Función NOT.

Se trata de un inversor, es decir, invierte el dato de entrada, quiere decir que si entra una variable, (x) como salida tendremos su complemento ( x ). El símbolo lógico del inversor se representa de la siguiente manera:

x

x
x

3.3.1. Función AND.

Una función (o compuerta) AND tiene dos entradas como mínimo y su operación lógica es un producto entre ambas, no es un producto aritmético, aunque en este caso coincidan.

x x · y y puerta AND de dos entradas
x
x · y
y
puerta AND de dos entradas

x

x

x

1

2

n

x x · y y puerta AND de dos entradas x x x 1 2 n

x 1 ·x 2 ····x n

puerta AND de entradas múltiples

3.3.1. Función OR.

Al igual que la anterior posee dos entradas como mínimo y la operación lógica, será la suma lógica entre ambas. Su representación es:

x

y

la suma lógica entre ambas. Su representación es: x y x + y p u e

x + y

puerta OR de dos entradas

x 1 x 2 x n
x
1
x
2
x
n

x

1 +x 2 + x n

puerta OR de entradas múltiples

3.4. MAPAS DE KARNAUGH (MAPAS K)

Fueron inventados en1950 por Maurice Karnaugh un físico y matemático de los laboratorios Bell. Los mapas de Karnaugh es uno de los métodos más prácticos para la simplificación de funciones booleanas. Se puede decir que es el más poderoso, cuando el número de variables de entrada es menor o igual a cinco; más allá, ya no es tan práctico.

En general, el mapa de Karnaugh se considera como la forma gráfica de una tabla de verdad ó como una extensión del diagrama de Venn. Donde solamente es representa minterminos.

}

}

Dada una función de n variables se construyen cajas de 2 n celdas, es otra forma de representar la tabla de verdad de la función. Cada mintérmino tiene un lugar asignado dentro del mapa de karnaugh.

Para armar cualquier mapa de Karnaugh los casilleros contiguos verticales u horizontales deben contener mintérminos adyacentes, es decir, donde sólo cambie una variable entre uno y otro.

Mapa de Karnaugh para 2 variables:

y x
y
x

0

1

0

0

2

1

1

3

}

}

x

x

y En este mapa de karnaugh, se pueden ver números en cada una de las casillas, estos número son los números decimales equivalentes, que son igual a; 0=00; 1=01; 2=10 y 3=11. por ejemplo el 00 quiere decir 0 en filas y 0 en columnas. También en cada fila y columna existen 0 y 1, lo cual nos indica, que en toda la fila o la columna el valor de la variable, es 0 o 1, lo cual se muestra en la figura.

y

En este mapa de karnaugh, el método para simplificar funciones booleanas, se llama el método de los unos (1) adyascentes. El cual se basa en el agrupamiento de estos unos (1) según la formula:

N = Nº de unos (1) adyascentes = 2 n donde; N = la cantidad de unos agrupados y n = es el número de variables a simplificar. Por ejemplo, el mapa de karnaugh, para la siguiente función booleana es:

} } f(x,y) = S m (1, 2, 3) y 0 1 x } x
}
}
f(x,y) = S m (1, 2, 3)
y
0
1
x
}
x
0
0
1 1
1
1
1 }
x
2
3
y
y

La representación, de la función es a través de los minterminos, representamos el 1 en las casillas 1, 2 y 3. luego agrupamos la mayor cantidad de unos (1) adyascentes, como se muestra en la tabla y luego leemos los valores correspondientes a filas y columnas.

Asi obtenemos, de la segunda fila correspondiente a x (x=1) y la segunda columna correspondiente a y (y=1) , por tanto la función simplificada es:

f(x,y) = x + y

Su red de puertas lógicas es:

x

y

f
f

Ahora, consideremos el caso de una función booleana de tres variables, f(x,y,z), la representación del mapa de karnaugh es:

z

z
z
yz x
yz
x

00

01

11

10

0

0

1

3

2

1

4

5

7

6

y

y

}

}

x

x

Podemos ver ahora como analizamos cada una de las variables, que regiones son de la variable (x) y que regiones son del complemento (x).

yz x
yz
x

0

1

00

01

11

10

yz x
yz
x

00

01

11

10

x

x

0

1

(x). yz x 0 1 00 01 11 10 yz x 00 01 11 10 x

y

y

z

00 01 11 10
00
01
11
10
yz x
yz
x

0

1

z

Con estas representaciones se puede ver que existe mayor comprensión en las regiones de cada una de las variables, esto quiere decir que, donde esta la variable toda la fila se lee como variable o como complemento de la variable, y en las columnas lo propio.

Ejemplo: Simplificar la siguiente función booleana.

f(x,y,z) = x

y z + x y z + x y z + x y z + x y z

f = S m (1, 3, 4, 6, 7)

Su mapa de karnaugh es:

yz x 00 01 11 10 1 1 0 0 1 3 2 1 1
yz
x
00
01
11
10
1
1
0
0
1
3
2
1
1
1
1
4
5
7
6

Luego de agrupados los minterminos, en agrupaciones de unos (1). Consideramos adyascentes los unos de casillas, que están una a la derecha de la otra, o una encima de la otra, considerando también los extremos de el mapa como adyascentes. No son adyascentes las unos en diagonal. Y solamente se puede agrupar 1, 2, 4, 8, 16 unos adyascentes. Ahora vamos leyendo cada uno de los minterminos agrupados.

Mintermino (1, 3) x (y + y) z = x z

Mintermino (3, 7) (x + x ) y z = y z

Mintermino (4, 6)

x (y + y) z = x

z

Por lo tanto, la función simplificada es:

Si graficamos su red de puertas lógicas tendremos:

f(x,y,z) = x z + y z + x z

x

y

z

f
f

El caso de funciones booleanas de 4 variables, es el que analizaremos ahora, esto es f(x,y,z,u). Su mapa de karnaugh sera:

y

ahora, esto es f(x,y,z,u). Su mapa de karnaugh sera: y } y u u zu xy

}

y

ahora, esto es f(x,y,z,u). Su mapa de karnaugh sera: y } y u u zu xy
u u
u
u
zu xy
zu
xy

00

01

11

10

00

0

1

3

2

01

4

5

7

6

11

12

13

15

14

10

8

9

11

10

z

z

}

}

x

x

Las casillas que corresponden a cada variable, se muestra en las casillas sombreadas.

zu xy
zu
xy

00

01

11

10

00

       

01

       

11

       

10

       
zu xy
zu
xy

00

01

11

10

00

       

01

       

11

       

10

       

z

z

x

x

zu xy
zu
xy

00

01

11

10

       
         
 

00

01

         

11

       

y

y

10

       
10        
 
zu xy
zu
xy

00

01

11

10

00

         

01

       

11

       

10

       
    01         11         10      

u

    01         11         10      

u

Un mapa de 4 variables (x, y, z; u) contiene 2 4 = 16 celdas. Es importante escribir los valores de las variables en las filas y columnas. Para simplificar la expresión:

f(x, y, z,

u) = x y z u + x y z

u + x y z u + x y z u + x y z u + x y z u + x y z u

f

= S m (12, 8, 15, 14, 11, 10, 5)

Ordenando, tenemos:

f

= S m (5, 8, 10, 11, 12, 14, 15)

zu 00 01 11 10 xy 00 0 1 3 2 01 1 4 5
zu
00
01
11
10
xy
00
0
1 3
2
01
1
4
5
7
6
11
1 12
13
1 15
1 14
10
1 8
9
1 11
1 10
Siendo su red de puertas
Lógicas la siguiente:

Leyendo los unos agrupados tenemos:

Mintermino (8,12,14,15)

Mintermino (10,11,14,15)

x (y + y) (z+ z) u = x u

x (y + y) z (u+u) = x z

Mintermino (5)

= x y z u

f(x, y, z,

u) = x u + x z + x y z u

x

y

z

u

f
f

El mapa de 5 variables (x, y, z, u, v) contiene 2 5 = 32 celdas. Representando en el mapa la función siguiente:

f (x y z u v) = S m (0, 3, 5, 8, 10, 11, 13, 15,16, 18, 19, 21, 24, 26, 27, 29, 31)

x = 0 x = 1 uv yz 00 01 11 10 00 01 11
x = 0
x = 1
uv
yz
00
01
11
10
00
01
11
10
1
1
1
1
1
00
0
1
3
2
16
17
19
18
01
4
1 5
7
6
20
1 21
23
22
11
12
1 13
1 15
14
28
1 29
1 31
30
10
1
1
1
1
8
9
1 11
10
24
25
1 27
26

Los minterminos agrupados y simplificados son:

Mintermino (0,8,16,24) = z u v

Mintermino (3,11,19,27) = z u v

Mintermino (5,13,21,29) = z u v

Mintermino (11,15,27,31) = y u v

Mintermino (18,19) = x y z u

Siendo la función simplificada la siguiente:

Mintermino (10,26) = y z u v

f (x y z u v) = z

u v + z u v +z u v + y u v + x y

z u + y z u v

Su red de puertas Lógicas es:

x y z u v f
x
y
z
u
v
f