Operadores lógicos (Manual de Maxima 5.44.0)

Siguiente: Operadores para ecuaciones, Anterior: Operadores relacionales, Subir: Operadores [Índice general][Índice]

### 6.4 Operadores lógicos

Operador: and

  Operador de conjunción lógica. El operador `and` es un operador infijo `n`-ario; sus operandos son expresiones booleanas y su resultado es un valor lógico.

  El operador `and` impone la evaluación (igual que `is`) de uno o más operandos, y puede forzar la evaluación de todos los operandos.

  Los operandos se evalúan en el orden en el que aparecen; sólo evalúa tantos operandos como sean necesarios para determinar el resultado. Si algún operando vale `false`, el resultado es `false` y ya no se evalúan más operandos.

  La variable global `prederror` controla el comportamiento de `and` cuando la evaluación de un operando no da como resultado `true` o `false`; `and` imprime un mensaje de error cuando `prederror` vale `true`. Cuando los operandos devuelven un valor diferente a `true` o `false` al ser evaluados, el resultado es una expresión booleana.

  El operador `and` no es conmutativo: `a and b` puede no ser igual a `b and a` debido al tratamiento de operandos indeterminados.

Operador: not

  Operador de negación lógica. El operador `not` es un operador prefijo; su operando es una expresión booleana y su resultado es un valor lógico.

  El operador `not` impone la evaluación (igual que `is`) de su operando.

  La variable global `prederror` controla el comportamiento de `not` cuando la evaluación de su operando no da como resultado `true` o `false`; `not` imprime un mensaje de error cuando `prederror` vale `true`. Cuando los operandos devuelven un valor diferente a `true` o `false` al ser evaluados, el resultado es una expresión booleana.

Operador: or

  Operador de disyunción lógica. El operador `or` es un operador infijo `n`-ario; sus operandos son expresiones booleanas y su resultado es un valor lógico.

  El operador `or` impone la evaluación (igual que `is`) de uno o más operandos, y puede forzar la evaluación de todos los operandos.

  Los operandos se evalúan en el orden en el que aparecen; `or` sólo evalúa tantos operandos como sean necesarios para determinar el resultado. Si un operando vale `true`, el resultado es `true` y ya no se evalúan más operandos.

  La variable global `prederror` controla el comportamiento de `or` cuando la evaluación de un operando no da como resultado `true` o `false`; `or` imprime un mensaje de error cuando `prederror` vale `true`. Cuando los operandos devuelven un valor diferente a `true` o `false` al ser evaluados, el resultado es una expresión booleana.

  El operador `or` no es conmutativo: `a or b` puede no ser igual a `b or a` debido al tratamiento de operandos indeterminados.

Siguiente: Operadores para ecuaciones, Anterior: Operadores relacionales, Subir: Operadores [Índice general][Índice]