En informática , una expresión booleana es una expresión utilizada en lenguajes de programación que produce un valor booleano cuando se evalúa. Un valor booleano es verdadero o falso . Una expresión booleana puede estar compuesta por una combinación de constantes booleanas Verdadero/Sí o Falso/No , variables de tipo booleano , operadores de valor booleano y funciones de valor booleano . [1]
Las expresiones booleanas corresponden a fórmulas proposicionales en lógica y son un caso especial de circuitos booleanos . [2]
La mayoría de los lenguajes de programación tienen los operadores booleanos OR , AND y NOT ; en C y algunos lenguajes inspirados en él , estos se representan por "||" (carácter de doble barra vertical), "&&" (doble ampersand ) y "!" ( signo de exclamación ) respectivamente, mientras que las operaciones bit a bit correspondientes se representan por "|", "&" y "~" (tilde). [3] En la literatura matemática, los símbolos utilizados a menudo son "+" ( más ), " · " ( punto ) y barra superior , o "∨" ( vel ), "∧" ( et ) y "¬" ( no ) o "′" (prima).
Algunos lenguajes, como Perl y Ruby , tienen dos conjuntos de operadores booleanos, con funciones idénticas pero con diferente precedencia. Normalmente, estos lenguajes utilizan y , o y no para los operadores con menor precedencia.
Algunos lenguajes de programación derivados de PL/I tienen un tipo de cadena de bits y utilizan BIT(1) en lugar de un tipo booleano independiente. En esos lenguajes, los mismos operadores sirven para operaciones booleanas y operaciones bit a bit. Los lenguajes representan OR, AND, NOT y EXCLUSIVE OR mediante "|", "&", "¬" (infijo) y "¬" (prefijo).
Algunos lenguajes de programación, por ejemplo, Ada , tienen operadores booleanos de cortocircuito . Estos operadores utilizan una evaluación perezosa , es decir, si el valor de la expresión se puede determinar a partir de la expresión booleana de la izquierda, entonces no evalúan la expresión booleana de la derecha. Como resultado, puede haber efectos secundarios que solo ocurren para un valor del operando de la izquierda.
5 > 3se evalúa comoverdadero.3 > 5se evalúa comoFALSO.5>=3y 3<=5son expresiones booleanas equivalentes, ambas evaluadas comoverdadero.X > 3), y a menudo más ( X > Y).