Operadores lógicos

Los operadores lógicos son utilizados para realizar operaciones booleanas en valores y variables. Estos operadores son utilizados en estructuras condicionales y bucles para combinar varias condiciones y obtener un resultado final.

Los operadores lógicos más comunes son AND, OR y NOT:

Operadores AND y OR

Las operaciones AND y OR son operaciones lógicas básicas, cuyo resultado viene dato por la siguiente tabla.

• AND devuelve true si ambos operandos son true, y false en caso contrario
• OR devuelve true si al menos uno de los operandos es true

Si lo pensáis un poco, es el sentido que usamos habitualmente para la palabra Y y O, respectivamente, en el uso cotidiano.

Por ejemplo, cuando tu dices

Cojo el abrigo si llueve Y hace frío

Mientras que cuando dices,

Cojo el abrigo si llueve O hace frío

Operadores NOT

Por su lado, el operador NOT es muy sencillo, y simplemente invierte un valor lógico.

Ejemplo en distintos lenguajes

En los lenguajes con sintaxis heredera de C los operadores son &&, || y !.

bool or_a_b = a || b;
bool and_a_b = a && b;
bool not_a_b = !a;

let or_a_b = a || b;
let and_a_b = a && b;
let not_a_b = !a;

or_a_b = a or b
and_a_b = a and b
not_a_b = not a

Operadores cortocircuitados

En muchos lenguajes, tanto AND como OR ofrecen versiones cortocircuitadas. Esto operadores son un mecanismo para agilizar la evaluación de expresiones.

Un operador cortorcircuitado detiene la evaluación en cuanto sabe el resultado sin necesidad de evaluar el resto de operadores

Para ello se usa el “truco” de que una operación con varios AND será false, con que uno de los miembros sea false. De forma similar, una serie de condiciones con OR será true con que uno de sus miembros sea true.

Podemos usar esto para agilizar el cálculo de expresiones, que es precisamente lo que hacen las versiones cortocircuitadas.

• AND detiene la evaluación en cuanto encuentra un false y evalúa a false la expresión.
• OR detiene la evaluación en cuanto encuentra un true, y evalúa a true la expresión

Es decir,

Por ejemplo, en esta expresión de C#,

// si (a > b) es verdadero
// (c < d) nunca llegará a evaluarse
bool result = (a > b) && (c < d);