Expresión booleana

En informática , una expresión booleana (también conocida como expresión lógica ) es una expresión utilizada en lenguajes de programación que produce un valor booleano al evaluarse. Un valor booleano es verdadero o falso . Una expresión booleana puede estar compuesta por una combinación de las constantes booleanas Verdadero/Falso o Sí/No , variables de tipo booleano , operadores con valor booleano y funciones con valor booleano . ^{[ 1 ]}

Las expresiones booleanas corresponden a fórmulas proposicionales en lógica y están asociadas a 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 inspirados en él , estos se representan con "||" (doble barra vertical), "&&" (doble ampersand ) y "!" ( signo de exclamación ) respectivamente, mientras que las operaciones bit a bit correspondientes se representan con "|", "&" y "~" (tilde). ^{[ 3 ]} En la literatura matemática, los símbolos utilizados suelen ser "+" ( 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 diferente precedencia. Normalmente, estos lenguajes usan ` and` , `or` y `not` para los operadores de menor precedencia.

Algunos lenguajes de programación derivados de PL/I utilizan un tipo de cadena de bits y emplean BIT(1) en lugar de un tipo booleano independiente. En estos lenguajes, los mismos operadores sirven para operaciones booleanas y operaciones bit a bit. Los lenguajes representan OR, AND, NOT y OR exclusivo mediante "|", "&", "¬" (infijo) y "¬" (prefijo).

Operadores de cortocircuito

Algunos lenguajes de programación, como Ada , utilizan operadores booleanos de cortocircuito . Estos operadores emplean 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, no evalúan la de la derecha. Como consecuencia, pueden producirse efectos secundarios que solo se manifiestan para un valor específico del operando izquierdo.

Ejemplos

La expresión 5 > 3se evalúa comoverdadero.
La expresión 3 > 5se evalúa comoFALSO.
5>=3y 3<=5son expresiones booleanas equivalentes, ambas evaluadas comoverdadero.
Por supuesto, la mayoría de las expresiones booleanas contendrán al menos una variable ( X > 3), y a menudo más ( X > Y).

Véase también

Referencias

↑ Gries, David ; Schneider, Fred B. (1993), "Capítulo 2. Expresiones booleanas", Un enfoque lógico de las matemáticas discretas , Monografías en informática, Springer, pág. 25 y ss., ISBN 9780387941158.
↑ van Melkebeek, Dieter (2000), Randomness and Completeness in Computational Complexity , Lecture Notes in Computer Science , vol. 1950, Springer, p. 22, ISBN 9783540414926.
↑ Por ejemplo, para Java , véase Brogden, William B.; Green, Marcus (2003), Java 2 Programmer , Que Publishing, pág. 45, ISBN 9780789728616.

Enlaces externos

El cálculo lógico , por George Boole, Cambridge and Dublin Mathematical Journal Vol. III (1848), pp. 183–98.

[1] Gries, David ; Schneider, Fred B. (1993), "Capítulo 2. Expresiones booleanas", Un enfoque lógico de las matemáticas discretas , Monografías en informática, Springer, pág. 25 y ss., ISBN 9780387941158.

[2] van Melkebeek, Dieter (2000), Randomness and Completeness in Computational Complexity , Lecture Notes in Computer Science , vol. 1950, Springer, p. 22, ISBN 9783540414926.

[3] Por ejemplo, para Java , véase Brogden, William B.; Green, Marcus (2003), Java 2 Programmer , Que Publishing, pág. 45, ISBN 9780789728616.

[ 1 ]

[ 2 ]

[ 3 ]