Описание

b1 or b2 представляет неисключительный логический or из Булевых выражений b1, b2.

MuPAD^® использует логику с тремя состояниями с булевыми константами TRUEложь, и UNKNOWN. Они обрабатываются можно следующим образом:

Булевы выражения могут состоять из этих констант, а также из произвольных арифметических выражений. Как правило, уравнения, такие как x = y, и неравенства, такие как x <> y, x < y, и x <= y, используются, чтобы создать Булевы выражения.

_or(b1, b2, ...) эквивалентно b1 or b2 or .... Это выражение представляет FALSE если каждое выражение оценивает к FALSE. Это представляет TRUE если по крайней мере одно выражение оценивает к TRUE. Это представляет UNKNOWN если по крайней мере одно выражение оценивает к UNKNOWN и все другие оценивают к FALSE.

_or() возвращает FALSE.

Комбинации констант TRUEложь, UNKNOWN в Булевом выражении упрощены автоматически. Однако символьные булевы подвыражения, равенства и неравенства не оценены и упрощены логическими операторами. Используйте bool выполнять такие выражения к одной из булевых констант. Отметьте, однако, тот bool может оценить неравенства x < y, x <= y, и так далее, только если они состоят из количеств типа Type::Real. Смотрите пример 2.

Используйте simplify с опцией logic упростить выражения, включающие символьные булевы подвыражения. Смотрите Пример 3.

Приоритеты логических операторов следующие. Если в сомнении, используйте круглые скобки, чтобы гарантировать, что выражение анализируется, как желаемый.

В условном контексте ifповторение, и while операторы, Булевы выражения выполнены через “отложенные вычисления” (см. _lazy_and, _lazy_or). В любом другом контексте оценены все операнды.