Tablas de Verdad y Funciones Del Metodo Grafico Karnaugh.

Tablas de verdad
Las tablas de verdad es una estrategia de la lgica simple que permite establecer la validez
de varias propuestas en cuanto a cualquier situacin, es decir, determina
las condiciones necesarias para que sea verdadero un enunciado propuesto, permitiendo
clasificarlos en tautolgicos (resultan verdaderos durante cualquier situacin)
contradictorias (son enunciados falsos en la mayora de los casos) o contingentes
(enunciados que no pueden ser tantos verdaderos como falsos no existen tendencia a un
solo sentido).
Permite diferentes aspectos del enunciado como las condiciones que lo hacen
verdadero y cules son sus conclusiones lgicas, es decir, si el enunciado
propuesto es verdadero o falso. Esta tabla fue ideada por Charles Sander
Peirce aproximadamente en 1880, pero la ms utilizada es el modelo actualizado
de Luidwin Wittgenstein en 1921.
La construccin de la tabla est fundamentada en la utilizacin de un letra para las

variables del resultado y las mismas se cumplen se dicen que son verdaderas, en
el caso contrario de que no se cumpla se les asigna el apelativo de falsas, por
ejemplo: Enunciado: Si nos mudamos, mi perro se muere. Variables: A: Si se
muda- B: el perro se muere.
Si se dice que es verdadero a ambas variables se les asigna la letra (V) y

representa la positividad del enunciado, si algunas de las variables no se cumple se
les asigna la letra (F) esto no representa la falsedad del enunciado ya que con
cumplirse una sola variable se puede designar como verdadero, eso depender del
enunciado. Cuando ambos valores resultan verdaderos en todas las ocasiones se
dice que existe una conjugacin en el enunciado, en cambio s se obtiene dos
resultados verdaderos y luego uno verdadero y el otro falso se dice que existe
una disyuncin.
COMPUERTAS LGICAS
Las computadoras digitales utilizan el sistema de nmeros binarios, que tiene dos
dgitos 0 y 1. Un dgito binario se denomina un bit. La informacin est representada
en las computadoras digitales en grupos de bits. Utilizando diversas tcnicas de
codificacin los grupos de bits pueden hacerse que representen no solamente
nmeros binarios sino tambin otros smbolos discretos cualesquiera, tales como
dgitos decimales o letras de alfabeto. Utilizando arreglos binarios y diversas
tcnicas de codificacin, los dgitos binarios o grupos de bits pueden utilizarse para
desarrollar conjuntos completos de instrucciones para realizar diversos tipos de
clculos.
La informacin binaria se representa en un sistema digital por cantidades fsicas

denominadas seales, Las seales elctricas tales como voltajes existen a travs
del sistema digital en cualquiera de dos valores reconocibles y representan una
variable binaria igual a 1 o 0. Por ejemplo, un sistema digital particular puede
emplear una seal de 3 volts para representar el binario "1" y 0.5 volts para el
binario "0". La siguiente ilustracin muestra un ejemplo de una seal binaria.
Como se muestra en la figura, cada valor binario tiene una desviacin aceptable del
valor nominal. La regin intermedia entre las dos regiones permitidas se cruza
solamente durante la transicin de estado. Los terminales de entrada de un circuito
digital aceptan seales binarias dentro de las tolerancias permitidas y los circuitos
responden en los terminales de salida con seales binarias que caen dentro de las
tolerancias permitidas.
La lgica binaria tiene que ver con variables binarias y con operaciones que toman
un sentido lgico. La manipulacin de informacin binaria se hace por circuitos
lgicos que se denominan Compuertas.
Las compuertas son bloques del hardware que producen seales en binario 1 0
cuando se satisfacen los requisitos de entrada lgica. Las diversas compuertas
lgicas se encuentran comnmente en sistemas de computadoras digitales. Cada
compuerta tiene un smbolo grfico diferente y su operacin puede describirse por
medio de una funcin algebraica. Las relaciones entrada - salida de las variables
binarias para cada compuerta pueden representarse en forma tabular en una tabla
de verdad.
A continuacin se detallan los nombres, smbolos, grficos, funciones algebraicas,

y tablas de verdad de las compuertas ms usadas.
Compuerta AND:
Cada compuerta tiene dos variables de entrada designadas por A y B y

una salida binaria designada por x.
La compuerta AND produce la multiplicacin lgica AND: esto es: la
salida es 1 si la entrada A y la entrada B estn ambas en el binario 1: de
otra manera, la salida es 0.
Estas condiciones tambin son especificadas en la tabla de verdad para
la compuerta AND. La tabla muestra que la salida x es 1 solamente
cuando ambas entradas A y B estn en 1.
El smbolo de operacin algebraico de la funcin AND es el mismo que
el smbolo de la multiplicacin de la aritmtica ordinaria (*).
Las compuertas AND pueden tener ms de dos entradas y por
definicin, la salida es 1 si todas las entradas son 1.
Compuerta OR:
La compuerta OR produce la funcin sumadora, esto es, la salida es 1

si la entrada A o la entrada B o ambas entradas son 1; de otra manera,
la salida es 0.
El smbolo algebraico de la funcin OR (+), es igual a la operacin de
aritmtica de suma.
Las compuertas OR pueden tener ms de dos entradas y por definicin
la salida es 1 si cualquier entrada es 1.
Compuerta NOT:
El circuito NOT es un inversor que invierte el nivel lgico de una seal

binaria. Produce el NOT, o funcin complementaria. El smbolo
algebraico utilizado para el complemento es una barra sobra el smbolo
de la variable binaria.
Si la variable binaria posee un valor 0, la compuerta NOT cambia su
estado al valor 1 y viceversa.
El crculo pequeo en la salida de un smbolo grfico de un inversor
designa un inversor lgico. Es decir cambia los valores binarios 1 a 0 y
viceversa.
Compuerta Separador (yes):
Un smbolo tringulo por s mismo designa un circuito separador, el cual

no produce ninguna funcin lgica particular puesto que el valor binario
de la salida es el mismo de la entrada.
Este circuito se utiliza simplemente para amplificacin de la seal. Por
ejemplo, un separador que utiliza 5 volt para el binario 1, producir una
salida de 5 volt cuando la entrada es 5 volt. Sin embargo, la corriente
producida a la salida es muy superior a la corriente suministrada a la
entrada de la misma.
De sta manera, un separador puede excitar muchas otras compuertas
que requieren una cantidad mayor de corriente que de otra manera no
se encontrara en la pequea cantidad de corriente aplicada a la
entrada del separador.
Compuerta NAND:
Es el complemento de la funcin AND, como se indica por el smbolo

grfico, que consiste en una compuerta AND seguida por un pequeo
crculo (quiere decir que invierte la seal).
La designacin NAND se deriva de la abreviacin NOT - AND. Una
designacin ms adecuada habra sido AND invertido puesto que es la
funcin AND la que se ha invertido.
Las compuertas NAND pueden tener ms de dos entradas, y la salida
es siempre el complemento de la funcin AND.
Compuerta NOR: |
La compuerta NOR es el complemento de la compuerta OR y utiliza el

smbolo de la compuerta OR seguido de un crculo pequeo (quiere
decir que invierte la seal). Las compuertas NOR pueden tener ms de
dos entradas, y la salida es siempre el complemento de la funcin OR.
Simplificacin de funciones lgicas por el mtodo grfico de

Karnaugh
Suponiendo que conozcamos la tabla de la verdad de un circuito combinacional, a
partir de la cual deseamos disear dicho circuito, lo ms corriente es tener que
buscar una expresin simplificada de la funcin o funciones a implementar. En
este artculo tratar de explicar cmo ello es posible de una forma sencilla gracias
al empleo de un mtodo de simplificacin grfico muy extendido (extendido
precisamente por esto, por su facilidad de uso). Para ello me ayudar de una tabla
ejemplo mediante la cual ir explicando todo lo referente a este tipo de
simplificacin de funciones lgicas. Pero antes, un poco de teora necesaria:
Mapas de Karnaugh para dos, tres, cuatro y cinco variables:
El aspecto de los mapas de Karnaugh es el de la siguiente figura:
De izquierda a derecha y de arriba a abajo aparecen los mapas para dos, tres,
cuatro y cinco variables. Note que en cada mapa existe una lnea diagonal en la
esquina superior izquierda. Por encima y por debajo de dicha lnea aparecen los
nombres de las variables implicadas (en este caso a, b, c, d y/o e, segn el mapa,
aunque pudieran ser otros diferentes), de tal forma que para el mapa de cuatro
variables, por ejemplo, las combinaciones de ceros y unos de la parte superior del
mapa son las combinaciones posibles de las variables a y b, en este orden, y las
combinaciones de dgitos binarios del lateral izquierdo son la posibles
combinaciones de las variables c y d, tambin en ese orden.
La adyacencia grfica y la adyacencia algebraica
Dos casillas son adyacentes grficamente si estn una junto a otra en el mapa de
Karnaugh, teniendo en cuenta que nunca deben considerarse las diagonales. Por
otro lado, dos casillas de un mapa de Karnaugh son adyacentes algebraicamente
si en el conjunto formado por los bits de sus coordenadas x e y slo hay un dgito
diferente, no importando la posicin en la que se encuentre dicho dgito. Pues
bien, siempre se verifica que dos casillas que sean adyacentes grficamente
tambin lo son algebraicamente (recuerde que no vale en diagonal). El recproco
no es cierto en general, de tal forma que hay casillas que son adyacentes
algebraicas y no lo son grficamente. La adyacencia algebraica es la que
realmente hay que tener en cuenta en el proceso de simplificacin grfica.
Podemos decir que la adyacencia algebraica es "ms fuerte" que la grfica. Sin
embargo, a efectos de poder realizar la simplificacin de forma fcil convendra
que los dos tipos de adyacencias coincidiesen para tener una imagen grfica de
las adyacencias algebraicas. Lamentablemente esto no es as, pero con objeto de
conseguir una imagen mental y grfica de las adyacencias algebraicas podemos
ayudarnos de las siguientes figuras:
- Para tres variables:
- Para cuatro variables:

- Para cinco variables (tiene buena visin espacial?):
Si a usted no se le da bien la visualizacin espacial siempre puede aplicar la regla

comentada en principio para saber si dos casillas de un mapa son o no
adyacentes. La prctica en esta cuestin le har finalmente no tener que ni
pensarlo.

Tablas de Verdad y Funciones Del Metodo Grafico Karnaugh.

Cargado por

Copyright:

Formatos disponibles

Tablas de Verdad y Funciones Del Metodo Grafico Karnaugh.

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Tablas de Verdad y Funciones Del Metodo Grafico Karnaugh.

Cargado por

Copyright:

Formatos disponibles

Tablas de verdad

La construccin de la tabla est fundamentada en la utilizacin de un letra para las

Si se dice que es verdadero a ambas variables se les asigna la letra (V) y

La informacin binaria se representa en un sistema digital por cantidades fsicas

A continuacin se detallan los nombres, smbolos, grficos, funciones algebraicas,

Cada compuerta tiene dos variables de entrada designadas por A y B y

La compuerta OR produce la funcin sumadora, esto es, la salida es 1

El circuito NOT es un inversor que invierte el nivel lgico de una seal

Un smbolo tringulo por s mismo designa un circuito separador, el cual

Es el complemento de la funcin AND, como se indica por el smbolo

La compuerta NOR es el complemento de la compuerta OR y utiliza el

Simplificacin de funciones lgicas por el mtodo grfico de

El aspecto de los mapas de Karnaugh es el de la siguiente figura:

La adyacencia grfica y la adyacencia algebraica

- Para tres variables:

- Para cuatro variables:

Si a usted no se le da bien la visualizacin espacial siempre puede aplicar la regla

También podría gustarte