Las tablas de verdad se utilizan en lgica simbolica para establecer la validez de las

proposiciones. La construccin de las tablas de verdad simplifican la tarea de determinar la

verdad o falsedad de una proposicin.

Dado como ejemplo dos proposiciones, pueden presentarse cuatro posibles caso:

1.- Ambas proposiciones son verdaderas

2.- La primera es verdadera y la segunda es falsa

3.- La segunda es verdadera y la primera falsa

4.- Las dos son falsas.

(En la tabla se muestran las combinaciones posibles de dos proposiciones cualesquiera.)

Tabla de verdad de la negacin (No):

Las proposiciones pueden ser simples o compuestas. Para designarlas se emplean letras
minsculas como p,q,r,s etc..

Para negar una proposicin simple se emplea el smbolo ~ de tal forma que ~p (que se lee como
no p) y es tal que si p es verdadera, ~p sera falsa y viceversa. El operador negacin (~) tambin
se denomina No.

Tabla de verdad de la conjuncin (Y):

La conjuncin de dos proposiciones simples p^q (que se lee p y q) es verdadera si ambas

proposiciones son verdaderas. La conjuncin (^), es una conectiva lgica que se denomina el
operador lgico Y y se representa el producto lgico.
Observe que en la tabla de verdad para dos proposiciones simples tiene cuatro renglones que
contienen todas las posibilidades o alternativas de combinacin de los valores de verdad de las
proposiciones simples.

Mediante inspeccin de las tablas notamos que ambas proposiciones deben ser verdaderas para
que el conjunto sea verdadero

Tabla de verdad de la disyuncin (O):

La disyuncin de dos proposiciones simples pq (que se lee : p o q) es falsa si ambas

proposiciones son falsas. El operador lgico disyuncin tambin se denomina O y representa la
suma lgica.

Mediante inspeccin de las tablas notamos que el conjunto solo es falso si ambas proposiciones
son falsas.

Tabla de verdad de sientonces ():

La proposicin condicional se representa pq (que se lee si p entonces q) y se considera falsa

solo si el antecedente (p) es verdadero y el consecuente (q) es falso.

En cualquier otro caso la proposicin condicional se considera verdadera.

(tabla de la proposicin condicional)

Tabla de verdad Bicondicional ():

Llmese bicondicional a una proposicin que es verdadora si ambos factores son verdaderos,
tambien es verdadera si ambos factores son falsos y falsa en los otros casos.

Se representa pq ( que se lee p si y solo si q).

COMPUERTAS LOGICAS
Por ZZT

Una compuerta logica es un dispositivo que nos permite obtener resultados,

dependiendo de los valores de las seales que le ingresemos. Es necesario
aclarar entonces que las compuertas lgicas se comunican entre s (incluidos los
microprocesadores), usando el sistema BINARIO. Este consta de solo 2
indicadores 0 y 1 llamados BIT dado que en electrnica solo hay 2 valores
equivalentes 0=0volt 1=5volt (conectado-desconectado). Es decir que cuando
conectamos una compuerta a el negativo equivale a introducir un cero (0) y por
el contrario si derivamos la entrada a 5v le estamos enviando un uno (1). Ahora
para comprender como se comporta cada compuerta se debe ver su TABLA DE
VERDAD. Esta nos muestra todas las combinaciones lgicas posibles y su
resultado.
 COMPUERTA BUFFER

La compuerta BUFFER es la ms basica de todas, simplemente toma el valor que

se le entrega y lo deja pasar tal cual. Esto sirve para ajustar y aislar niveles
lgicos ya que no se pueden conectar infinita cantidad de compuertas a una
misma seal, ya que el voltaje del nivel 1 empieza a decaer y el sistema falla.

Tabla
de
verdad
A X
0 0
1 1

COMPUERTA NOT

La compuerta NOT es un tanto parecida al buffer salvo por que invierte el valor
que se le entrega. Tambin tiene la utilidad de ajustar niveles pero tomando en
cuenta que invierte la seal.

Tabla
de
verdad
A X
0 1
1 0

COMPUERTA AND

La compuerta AND hace la funcin de multiplicacin lgica. Es decir toma los

valores que le aplicamos a sus entradas y los multiplica.
 Tabla de
verdad AND
A B X
0 0 0
0 1 0
1 0 0
1 1 1

COMPUERTA NAND

La compuerta NAND tambin hace la funcin de multiplicacin, pero entrega el

valor negado. Esto es muy util, dado que si estubieramos usando una AND
normal tendriamos que usar otro chip con un NOT para negar el resultado.

Tabla de
verdad NAND
A B X
0 0 1
0 1 1
1 0 1
1 1 0

COMPUERTA OR

La compuerta OR realiza la funcin de suma lgica. Cuando se le aplica un uno a

cualquiera de sus entradas el resultado de salida ser uno, independiente del
valor de la otra entrada. Excepto cuando las dos entradas esten en 0 la salida
ser 0.

Tabla de
verdad OR
A B X
0 0 0
0 1 1
1 0 1
1 1 1
 COMPUERTA NOR

La compuerta NOR realiza la funcin de suma, pero entrega el resultado

invertido, ahorrandonos un NOT. Su salida ser 1 solo si las dos entradas son 0.

Tabla de
verdad NOR
A B X
0 0 1
0 1 0
1 0 0
1 1 0

COMPUERTA X-OR

Esta compuerta XOR (or-exclusiva) se comporta de una manera especial. Su

caracteristica especial es que el resultado de salida ser 1 si las dos entradas son
distintas, sean 0-1 1-0.

Tabla de
verdad X-OR
A B X
0 0 0
0 1 1
1 0 1
1 1 0

COMPUERTA X-NOR

Esta compuerta XNOR o Nor exclusiva, tambin se comporta de una manera

especial. Su caracteristica es que el resultado de salida ser 1 si las dos entradas
son del mismo valor, sean 0-0 1-1.
 Tabla de
verdad X-NOR
A B X
0 0 1
0 1 0
1 0 0
1 1 1