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 las constantes booleanas verdadero o falso , variables de tipo booleano, operadores con valores booleanos y funciones con valores booleanos . [1]
Las expresiones booleanas corresponden a fórmulas proposicionales en lógica y son un caso especial de circuitos booleanos . [2]
operadores booleanos
La mayoría de los lenguajes de programación tienen los operadores booleanos OR , AND y NOT ; en C y algunos lenguajes más nuevos, estos están representados por "||" (carácter de barra doble), "&&" (doble ampersand ) y "!" ( signo de exclamación ) respectivamente, mientras que las operaciones bit a bit correspondientes están representadas por "|", "&" y "~" (tilde). [3] En la literatura matemática, los símbolos utilizados son a menudo "+" ( más ), " · " ( punto ) y barra superior , o "∨" (taza), "∧" (tapa) y "¬" o "′" (principal).
Ejemplos de
- La expresión
5 > 3
se evalúa comocierto. - La expresión
3 > 5
se evalúa comofalso. 5>=3
y3<=5
son expresiones booleanas equivalentes, las cuales se evalúan comocierto.typeof true
ytypeof false
volverbooleano- Por supuesto, la mayoría de las expresiones booleanas contendrán al menos una variable (
X > 3
) y, a menudo, más (X > Y
).
Ver también
Referencias
- ^ Gries, David ; Schneider, Fred B. (1993), "Capítulo 2. Expresiones booleanas", Un enfoque lógico para las matemáticas discretas , Monografías en informática, Springer, p. 25ff, ISBN 9780387941158.
- ^ van Melkebeek, Dieter (2000), Aleatoriedad e integridad en la complejidad computacional , Lecture Notes in Computer Science , 1950 , Springer, p. 22, ISBN 9783540414926.
- ^ Por ejemplo, para Java ver Brogden, William B .; Green, Marcus (2003), Programador Java 2 , Que Publishing, p. 45, ISBN 9780789728616.
enlaces externos
- El cálculo de la lógica , por George Boole, Cambridge y Dublin Mathematical Journal Vol. III (1848), págs. 183–98.