not, _not

Логическое отрицание

Блокноты MuPAD® будут демонтированы в будущем релизе. Используйте live скрипты MATLAB® вместо этого.

Live скрипты MATLAB поддерживают большую часть функциональности MuPAD, хотя существуют некоторые различия. Для получения дополнительной информации смотрите, Преобразовывают Notebook MuPAD в Live скрипты MATLAB.

Синтаксис

not b
_not(b)

Описание

not b представляет логическое отрицание Булевого выражения b.

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

  • not TRUE = FALSE

  • not FALSE = TRUE

  • not UNKNOWN = UNKNOWN

_not(b) эквивалентен not b.

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

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

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

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

  • Оператор not является более сильной привязкой, чем and, то есть, not b1 and b2 = (not b1) and b2.

  • Оператор and является более сильной привязкой, чем xor, то есть, b1 and b2 or b3 = (b1 and b2) xor b3.

  • Оператор xor является более сильной привязкой, чем or, то есть, b1 xor b2 or b3 = (b1 xor b2) or b3.

  • Оператор or является более сильной привязкой, чем ==>, то есть, b1 or b2 ==> b3 = (b1 or b2) ==> b3.

  • Оператор ==> является более сильной привязкой, чем <=>, то есть, b1 ==> b2 <=> b3 = (b1 ==> b2) <=> b3.

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

Примеры

Пример 1

Комбинации булевых констант TRUE, FALSE и UNKNOWN упрощены автоматически до одной из этих констант:

TRUE and not (FALSE or TRUE)

not UNKNOWN

Пример 2

Логические операторы упрощают подвыражения, которые оценивают к константам TRUE, FALSE, UNKNOWN.

b1 or b2 and (not FALSE)

FALSE or ((not b1) and TRUE)

b1 and (b2 or FALSE) and (not UNKNOWN)

Однако равенства и неравенства не оценены:

not(x = x) and (1 < 2) and (2 < 3) and (3 > 4)

Булева оценка осуществляется через bool:

bool(%)

Пример 3

Выражения, включающие символьные булевы подвыражения, не упрощены and, or, not. Упрощение нужно требовать явным образом через функциональный simplify:

(b1 and b2) or (b1 and (not b2)) and (1 < 2)

simplify(%, logic)

Параметры

b

Булевы выражения

Возвращаемые значения

Булево выражение.

Перегруженный

b, b_1, b_2

Смотрите также

Функции MuPAD