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).

Existen 5 tablas de la verdad o valores de verdad las cuales son:

La tabla del " Y" o conjuncin

La tabla del " O" o disyuncin
La tabla del entonces o condicional
La tabla de la equivalencia o el bicondicional
La tabla de la negacin

Tabla de la conjuncin

La conjuncin es un operador que opera sobre dos valores de verdad,

tpicamente los valores de verdad de dos proposiciones, devolviendo el valor
de verdad verdadero cuando ambas proposiciones son verdaderas, y falso en
cualquier otro caso. Es decir es verdadera cuando ambas son verdaderas
La tabla de verdad de la conjuncin es la siguiente:

Tabla de la disyuncin

La disyuncin es un operador que opera sobre dos valores de verdad,

tpicamente los valores de verdad de dos proposiciones, devolviendo el valor
de verdad verdadero cuando una de las proposiciones es verdadera, o cuando
ambas lo son, y falso cuando ambas son falsas.

La tabla de verdad de la disyuncin es la siguiente:

Tabla del condicional

El condicional material es un operador que opera sobre dos valores de verdad,

tpicamente los valores de verdad de dos proposiciones, devolviendo el valor
de verdad falso slo cuando la primera proposicin es verdadera y la segunda
falsa, y verdadero en cualquier otro caso.

La tabla de verdad del condicional material es la siguiente:

Tabla del bicondicional

El bicondicional o doble implicacin es un operador que funciona sobre dos

valores de verdad, tpicamente los valores de verdad de dos proposiciones,
devolviendo el valor de verdad verdadero cuando ambas proposiciones tienen
el mismo valor de verdad, y falso cuando sus valores de verdad difieren.

La tabla de verdad del bicondicional es la siguiente:

Tabla de la negacin

La negacin es un operador que opera. Sobre un nico valor de verdad,

devolviendo el valor contradictorio de la proposicin considerada.

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.

Lgica Positiva
En esta notacin al 1 lgico le corresponde el nivel ms alto de tensin y al 0
lgico el nivel ms bajo, pero que ocurre cuando la seal no est bien definida.
Entonces habr que conocer cules son los lmites para cada tipo de seal
(conocido como tensin de histresis), en este grfico se puede ver con mayor
claridad cada estado lgico y su nivel de tensin.

Lgica Negativa
Aqu ocurre todo lo contrario, es decir, se representa al estado "1" con los
niveles ms bajos de tensin y al "0" con los niveles ms altos.

Por lo general se suele trabajar con lgica positiva, la forma ms sencilla de

representar estos estados es como se puede ver en el siguiente grfico.

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.
 Mapas de Karnaugh
Los Mapas de Karnaugh son una herramienta muy utilizada para la
simplificacin de circuitos lgicos. Cuando se tiene una funcin lgica con su tabla de
verdad y se desea implementar esa funcin de la manera ms econmica posible
se utiliza este mtodo.

Ejemplo: Se tiene la siguiente tabla de verdad para tres variables. Se desarrolla

la funcin lgica basada en ella. (Primera forma cannica). Ver que en la frmula
se incluyen solamente las variables (A, B, C) cuando F cuando es igual a 1. Si
A en la tabla de verdad es 0 se pone A, si B = 1 se pone B, Si C = 0 se
pone C, etc.

Una vez obtenida la funcin lgica, se implementa el mapa de Karnaugh. Este

tiene 8 casillas que corresponden a 2n, donde n = 3 (nmero de variables (A, B,
C). Ver el diagrama arriba a la derecha. La primera fila corresponde a A = 0 La
segunda fila corresponde a A = 1 La primera columna corresponde a BC = 00
(B=0 y C=0) La segunda columna corresponde a BC = 01 (B=0 y C=1) La
tercera columna corresponde a BC = 11 (B=1 y C=1) La cuarta columna
corresponde a BC = 10 (B=1 y C=0).

En el mapa de Karnaugh se han puesto 1 en las casillas que corresponden a los

valores de F = 1 en la tabla de verdad. Tomar en cuenta la numeracin de
las filas de la tabla de verdad y la numeracin de las casillas en el mapa de
Karnaugh.
Para proceder con la simplificacin, se crean grupos de 1s que tengan 1, 2,
4, 8, 16, etc. (slo potencias de 2). Los 1s deben estar adyacentes (no en
diagonal) y mientras ms 1s tenga el grupo, mejor. La funcin mejor
simplificada es aquella que tiene el menor nmero de grupos con el
mayor nmero de 1s en cada grupo.

Se ve del grfico que hay dos grupos cada uno de cuatro 1s, (se permite
compartir casillas entre los grupos). La nueva expresin de la funcin boolena
simplificada se deduce del mapa de Karnaugh.

Para el primer grupo (rojo): la simplificacin da B (los 1s de la tercera

y cuarta columna corresponden a B sin negar).

Para el segundo grupo (azul): la simplificacin da A (los 1s estn en la fila

inferior que corresponde a A sin negar).
Entonces el resultado es F = B + A F = A + B.

Ejemplo: Una tabla de verdad como la de la derecha da la siguiente funcin

booleana: F = A B C + A B C + A B C + A B C.

Se ve claramente que la funcin es un reflejo del contenido de la tabla de

verdad cuando F = 1, Con esta ecuacin se crea el mapa de Karnaugh y se
escogen los grupos. Se lograron hacer 3 grupos de dos 1s cada uno. Se
puede ver que no es posible hacer grupos de 3, porque 3 no es potencia de 2.
Se observa que hay una casilla que es compartida por los tres grupos.

La funcin simplificada es: F = A B+ A C + B C. Grupo en azul: A B, grupo

marrn: A C, grupo verde: B C.

Mapas de Karnaugh de 2 variables

Sea f una
funcin de 2
variables f
(A,B)

Para elaborar el
mapa de
Karnaugh
tendremos
22 = 4
combinaciones.

En la figura se
muestra la
tabla de verdad
con la lista de
los
mintrminos y
el lugar que
ocupa cada uno
de ellos en un
mapa.

Una manera ms sencilla de

representar el mintrmino en la
casilla correspondiente es
sealando su valor decimal.

Por ejemplo la combinacin A=1

y B=1 es el termino AB cuyo
valor binario es 11 y que
convertido a decimal da 3.
(Mintrmino m3).

Mapas de Karnaugh de 3 variables

Sea f una funcin de 3
variables (A,B,C)

Para elaborar el mapa de

Karnaugh tendremos
23 = 8 combinaciones.
Al igual que antes cada
casilla del mapa
corresponde a un
mintmino de la tabla de
verdad.
Es importante colocar las
variables en el orden
indicado de ms
significativo a menos
significativo (A, B, C), de
otra forma el valor
decimal de las casilla
sera diferente.
CUIDADO: Note que en las columnas AB no se
sigue el orden progresivo de valores, 00, 01, 10,
11 sino 00, 01, 11,10.
Esto es muy importante, ya que el proceso de
minimizacin depende de la ubicacin de las
casillas en el mdk. Esto se hace para que entre
una casilla y otra, en forma horizontal o vertical
solo cambie una variable, lo que llamamos
ADYACENCIA LOGICA.
Por ejemplo la casilla 2 (010) es adyacente a las
casillas 0 (000) (cambia B), a la 3 (011) (cambia
C) y a la 6 (110) (cambia A).
Cules son las casillas adyacentes a la casilla 4?
Note que adems de la 6 y la 5 tambin es
adyacente a la 0 (entre 100 (4) y 000 (0) cambia
A).