Operadores Relacionales

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 ==.
Los operadores relacionales nos permiten comparar expresiones de tipos compatibles,
devolviendo un resultado de tipo lgico: la comparacin esverdadera o 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

Cualquiera que sea el tipo de los operandos, por definicin, un operador relacional, produce
un bool (true o false) como resultado, aunque en determinadas circunstancias puede
producirse una conversin automtica de tipo a valores int (1 si la expresin es cierta y 0 si
es falsa).
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);
}
}

Operadores Logicos
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

x

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)

Los operadores lgicos son tipicamente utilizado con valores boleanos (valores lgicos);
ellos devuelven un valor boleano. Sin embargo, los operadores && y || devuelven el valor
de uno de los operandos, asi que si estos operadores son usados con valores no boleanos,
devolveran un valor no boleano. Los operadores lgicos estn descritos en la siguiente
tabla:

Operato
r

Usage

Description

&&

expr1
&&
expr2

(Logical AND) Devuelve expr1 si puede ser convertido a false o sino

devuelve expr2. As, cuando se usa con valores boleanos, && devuelve
true si ambos operandos son true, en caso contrario devuelve false.

||

expr1 ||
expr2

(Logical OR) Devuelve expr1 si puede ser convertido a false o sino

devuelveexpr2. As, cuando se usa con valores boleanos, && devuelve
true si cualquiero operandos es true, o false si ambos son falsos.

!expr

(Logical NOT) Devuelve false si el operando no puede ser convertido a

true, en caso contrario, devuelve true

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.

Tablas de verdad:
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 a 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 y 0
(cero) a una proposicin falsa.
Negacin: El valor de verdad de la negacin es el contrario de la proposicin negada.