Los operadores relacionales son smbolos que se usan para comparar dos valores.

Si el resultado de la comparacin es correcto la expresin considerada es

verdadera, en caso contrario es falsa. Por ejemplo, 8>4 (ocho mayor que cuatro)
es verdadera, se representa por el valor true del tipo bsico boolean, en cambio,
8<4 (ocho menor que cuatro) es falsa, false. En la primera columna de la tabla, se
dan los smbolos de los operadores relacionales, el la segunda, el nombre de
dichos operadores, y a continuacin su significado mediante un ejemplo.
Operador nombre

ejemplo

significado

<

menor que

a<b

a es menor que b

>

mayor que

a>b

a es mayor que b

==

igual a

a==b

a es igual a b

!=

no igual a

a!=b

a no es igual a b

<=

menor que o igual a

a<=5

a es menor que o igual a b

>=

mayor que o igual a

a>=b

a es menor que o igual a b

Se debe tener especial cuidado en no confundir el operador asignacin con el

operador relacional igual a. Las asignaciones se realizan con el smbolo =, las
comparaciones con ==.
En el programa RelacionApp, se compara la variable i que guarda un 8, con un
conjunto de valores, el resultado de la comparacin es verdadero (true), o falso
(false).
public class RelacionApp {
public static void main(String[] args) {
int x=8;
int y=5;
boolean compara=(x<y);
System.out.println("x<y es "+compara);
compara=(x>y);
System.out.println("x>y es "+compara);
compara=(x==y);
System.out.println("x==y es "+compara);
compara=(x!=y);
System.out.println("x!=y es "+compara);
compara=(x<=y);
System.out.println("x<=y es "+compara);
compara=(x>=y);
System.out.println("x>=y es "+compara);
}
}

Los operadores lgicos

Los operadores lgicos son:
&& AND (el resultado es verdadero si ambas expresiones son verdaderas)
|| OR (el resultado es verdadero si alguna expresin es verdadera)
! NOT (el resultado invierte la condicin de la expresin)
AND y OR trabajan con dos operandos y retornan un valor lgico basadas en las
denominadas tablas de verdad. El operador NOT acta sobre un operando. Estas
tablas de verdad son conocidas y usadas en el contexto de la vida diaria, por
ejemplo: "si hace sol Y tengo tiempo, ir a la playa", "si NO hace sol, me quedar
en casa", "si llueve O hace viento, ir al cine". Las tablas de verdad de los
operadores AND, OR y NOT se muestran en las tablas siguientes
El operador lgico AND
x

resultado

true

true

true

true

false false

false true

false

false false false

El operador lgico OR
x

resultado

true

true

true

true

false true

false true

true

false false false

El operador lgico NOT

resultado

true

false

false true

Los operadores AND y OR combinan expresiones relacionales cuyo resultado

viene dado por la ltima columna de sus tablas de verdad. Por ejemplo:
(a<b) && (b<c)

es verdadero (true), si ambas son verdaderas. Si alguna o ambas son falsas el

resultado es falso (false). En cambio, la expresin
(a<b) ||(b<c)

es verdadera si una de las dos comparaciones lo es. Si ambas, son falsas, el

resultado es falso.
La expresin " NO a es menor que b"
!(a<b)

es falsa si (a<b) es verdadero, y es verdadera si la comparacin es falsa. Por

tanto, el operador NOT actuando sobre (a<b) es equivalente a
(a>=b)

La expresin "NO a es igual a b"

!(a==b)

es verdadera si a es distinto de b, y es falsa si a es igual a b. Esta expresin es

equivalente a
(a!=b)

Operadores lgicos
Los operadores lgicos pueden crear condiciones compuestas en una frmula,
como que se deben cumplir dos o ms condiciones para elegir un determinado
mtodo de clculo. Con los operadores lgicos, puede describir estas
combinaciones de condiciones.
Utilice AND, OR o XOR con dos expresiones; utilice NOT con una expresin.
Smbolo Definicin
AND

Verdadero slo si los dos elementos son verdaderos

OR

Verdadero si cualquiera de los elementos es verdadero

XOR

Verdadero si cualquiera de las expresiones (pero no ambas) es

verdadera

NOT

Cambia el valor de Falso a Verdadero y viceversa

Ejemplos
Utilice SolicitudRecibida="S" AND TarifaPagada>0 si desea que algo ocurra slo si
ha recibido tanto la solicitud como la tarifa.
Utilice SaldoActual0 OR CrditoAprobado="S" si desea que algo ocurra slo si no
se debe dinero o si se ha aprobado el crdito o si ambas opciones son
verdaderas.
Utilice TarifaPagada>0 XOR RegaloGratuito="S" si desea que algo ocurra si se ha
pagado una tarifa o si se ha enviado un regalo gratuito, pero no si se producen las
dos condiciones (por ejemplo, si no se ha pagado una tarifa y se ha enviado un
regalo gratuito).
Utilice NOT IsEmpty(NombreCampo) para identificar los registros que tienen un
valor en el campo NombreCampo.

Operadores Relacionales

Los operadores relacionales nos permiten comparar expresiones de tipos compatibles,

devolviendo un resultado de tipo lgico: la comparacin es verdaderao falsa. Por
ejemplo, la expresin (3 + 4) > 12 sera falsa, ya que 7 es menor que 12.
La estructura de una operacin relacional sera la siguiente:
expresin_1

operador_relacional

expresin_2

Operadores relacionales
Operador

Operacin

Igual

<>

Distinto

<

Menor

>

Mayor

<=

Menor o igual

>=

Mayor o igual

in

Elemento de

Los operadores de relacin se pueden aplicar a cualquiera de los tipos que hemos visto
hasta ahora:

entero

real

lgico

caracter y cadena

Las operaciones relacionales o de comparacin entre nmeros reales y enteros no

merecen mayor comentario, las matemticas dictan las reglas. Si comparamos
expresiones lgicas, lo cual no tiene mucho sentido, hay que saber que el valorfalso se
considera menor que el valor verdadero. Las comparaciones entre caracteres o
cadenas se basan en el cdigo ASCII de cada caracter. Por ejemplo, el cdigo ASCII de
la letra a es 97, y el de la letra A es 65, luego si las comparamos, tendramos que 'a' >
'A'.
El operador in se utiliza en unas estructuras llamadas conjuntos que veremos en el
prximo captulo.
Tipos compatibles en operaciones relacionales

Tipo1

Tipo2

entero

real

caracter

cadena

Tablas de verdad o tabla de valores de verdad, es una tabla que muestra el valor
de verdad de una proposicin compuesta, para cada combinacin de valores de verdad
que se pueda asignar a sus componentes

Qu son las tablas de la verdad

Las tablas de verdad son, por una parte, uno de los mtodos ms sencillos y
conocidos de la lgica formal, pero la mismo tiempotambin uno de los ms
poderosos y claros. Entender bien las tablas de verdad es, en gran medida,
entender

bien

la

lgica

formal

misma.

Fundamentalmente, una tabla de verdad es un dispositivo para demostrar ciertas

propiedades lgicas y semnticas de enunciados del lenguaje natural o de
frmulas del lenguaje del clculo proposicional:
1. Sin son tautolgicas, contradictorias o contingentes
2. Cules son sus condiciones de verdad
3. Cul es su rol inferencial, es decir, cules son sus conclusiones lgicas y de qu
otras proposiciones se siguen lgicamente.

Las tablas de la verdad

Estas tablas pueden construirse haciendo una interpretacin de los signos lgicos
como: no, o, y, sientonces, s y slo si. La interpretacin corresponde al sentido
que

estas

operaciones

tienen

dentro

del

razonamiento.

Puede establecerse una correspondencia entre los resultados de estas tablas y la

deduccin lgico matemtica. En consecuencia, las tablas de verdad constituyen
un mtodo de decisin para chequear si una proposicin es o no un teorema.
Para la construccin de la tabla se asignar el valor 1(uno) a una proposicin
cierta

(cero)

una

proposicin

falsa.

Negacin: El valor de verdad de la negacin es el contrario de la proposicin

negada.

La conjuncin sirve para indicar que se cumplen dos condiciones

simultneamente, por ejemplo:

La funcin es creciente y est definida para los nmeros positivos, utilizamos Para
que la conjuncin p^q sea verdadera las dos expresiones que intervienen deben
ser verdaderas y slo en ese caso como se indica por su tabla de verdad.
Disyuncin: La disyuncin solamente es falsa si lo son sus dos componentes.

^Q

Con la disyuncin a diferencia de la conjuncin, se representan dos expresiones

que afirman que una de las dos es verdadera, por lo que basta con que una de
ellas sea verdadera para que la expresin p q sea verdadera.
Condicional: El condicional solamente es falso cuando el antecedente es
verdadero y el consecuente es falso. De la verdad no se puede seguir la falsedad.

PVQ

Bicondicional:El bicondicional solamente es cierto si sus componentes tienen el

mismo valor de verdad.

PQ

Se denomina tautologa una proposicin que es cierta para cualquier valor de

verdad de sus componentes. Por tanto, la ltima columna de su tabla de verdad
estar formada nicamente por unos.
Contradiccin es la negacin de una tautologa, luego es una proposicin falsa
cualesquiera sea el valor de verdad de sus componentes. La ltima columna de la
tabla de verdad de una contradiccin estar formada nicamente por ceros.

Tablas de verdad trivalentes

Las tablas de verdad tradicionales pueden rescribirse si se dejan vacas casillas en
las que el valor de verdad de la frmula atmica es irrelevante, por ejemplo, la
tabla de la disyuncin:

Disyuncin

Las primeras dos lneas sealan que no importa cul sea el valor de verdad de
uno de los disyuntos, siempre que el otro sea verdadero, la disyuncin ser
verdadera. De la misma manera, se podra abreviar la tabla de la conjuncin de la
siguiente manera:

Conjuncin

Las ltimas dos lneas sealan que no importa cul sea el valor de verdad de uno
de los disyuntos, siempre que el otro sea falso, la conjuncin ser falsa. La ventaja
de este tipo de tablas es que permiten extenderse de manera muy natural para
permitir un tercer valor de verdad que no sea ni verdadera ni falso. Ser llamado I
por indeterminado. Ahora se puede usar la tabla abreviada de la disyuncin
clsica para desarrollar una tabla de verdad (no abreviada) para la disyuncin
trivalente.
Primer paso: identificar las diferentes nueve posibilidades de combinaciones para
dos variables

Disyuncin trivalente

Segundo paso: Usar las primeras dos lneas de la tabla abreviada para determinar
el valor de verdad de los renglones con por lo menos un argumento verdadero:

Disyuncin trivalente

Tercer paso: Cmo la ltima lnea de la tabla abreviada es tambin la ltima lnea
de la nueva tabla, le corresponde el mismo valor de verdad: falso.

Disyuncin trivalente

Cuarto paso: Finalmente, cmo ya estn los renglones que son verdaderos o
falsos segn la tabla original, los renglones que an no tienen valor de verdad,
dado que no son ni verdaderos (sino hubieran quedado como tales en el segundo
paso) ni falsos (ya que tampoco quedaron as en el tercer paso), deben ser
indeterminados!

Disyuncin trivalente

En algunos casos, esta tabla de verdad aparece, no en tres columnas, sino en un

cuadro. Lo cual tiene la ventaja de dejar ms claro el patrn que emerge de la
tabla.
Siguiendo los mismos pasos se obtiene la tabla de la conjuncin:

Conjuncin trivalente