Описание

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

xor задан можно следующим образом: a xor b эквивалентен (a or b) and not (a and b).

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

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

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

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

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

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

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