Logical operators (Maxima 5.46.0 Manual)

Next: Operators for Equations, Previous: Relational operators, Up: Operators [Contents][Index]

### 7.4 Logical operators

演算子: and ¶

  論理積演算子。 `and`は、n項中置演算子です; オペランドはブーリアン値で、結果もブーリアン値です。

  `and`は、（`is`のように）１以上のオペランドの評価を強制し、 すべてのオペランドの評価を強制するかもしれません。

  オペランドは、出現順に評価されます。 `and`は、結果を決定するのに必要なだけオペランドを評価します。 もし任意のオペランドが`false`なら、結果は`false`であり、 ほかのオペランドは評価されません。

  グローバルフラグ`prederror`は、 評価されたオペランドが`true`か`false`に決定できない時の`and`の振る舞いを決定します。 `prederror`が`true`の時、`and`は、エラーメッセージを出力します。 そうでなければ、`true`か`false`に評価されないオペランドを受け付け、 結果はブーリアン式になります。

  `and`は可換ではありません: `a and b`は、不定のオペランドの扱いのため、`b and a`と同値ではないかもしれません。

  Operators ·

演算子: not ¶

  論理否定演算子。 `not`は、接頭演算子です; オペランドはブーリアン値で、結果もブーリアン値です。

  `or`は、（`is`のように）オペランドの評価を強制します。

  グローバルフラグ`prederror`は、 評価されたオペランドが`true`か`false`に決定できない時の`not`の振る舞いを決定します。 `prederror`が`true`の時、`not`は、エラーメッセージを出力します。 そうでなければ、`true`か`false`に評価されないオペランドを受け付け、 結果はブーリアン式になります。

  Operators ·

演算子: or ¶

  論理和演算子。 `or`は、n項中置演算子です; オペランドはブーリアン値で、結果もブーリアン値です。

  `or`は、（`is`のように）１以上のオペランドの評価を強制し、 すべてのオペランドの評価を強制するかもしれません。

  オペランドは、出現順に評価されます。 `and`は、結果を決定するのに必要なだけオペランドを評価します。 もし任意のオペランドが`true`なら、結果は`true`であり、 ほかのオペランドは評価されません。

  グローバルフラグ`prederror`は、 評価されたオペランドが`true`か`false`に決定できない時の`or`の振る舞いを決定します。 `prederror`が`true`の時、`or`は、エラーメッセージを出力します。 そうでなければ、`true`か`false`に評価されないオペランドを受け付け、 結果はブーリアン式になります。

  `or`は可換ではありません: `a or b`は、不定のオペランドの扱いのため、`b or a`と同値ではないかもしれません。

  Operators ·

Next: Operators for Equations, Previous: Relational operators, Up: Operators [Contents][Index]