or
, _or
Логический “или”
Блокноты MuPAD® будут демонтированы в будущем релизе. Используйте live скрипты MATLAB® вместо этого.
Live скрипты MATLAB поддерживают большую часть функциональности MuPAD, хотя существуют некоторые различия. Для получения дополнительной информации смотрите, Преобразовывают Notebook MuPAD в Live скрипты MATLAB.
b1 or b2
_or(b1, b2, …
)
b1 or b2
представляет неисключительный логический or
Булевых выражений b1
, b2
.
MuPAD® использует логику с тремя состояниями с булевыми константами TRUE
, FALSE
и UNKNOWN
. Они обрабатываются можно следующим образом:
or | TRUE | FALSE | UNKNOWN |
TRUE | TRUE | TRUE | TRUE |
FALSE | TRUE | FALSE | UNKNOWN |
UNKNOWN | TRUE | UNKNOWN | 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
, 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
). В любом другом контексте оценены все операнды.
Комбинации булевых констант TRUE
, FALSE
и UNKNOWN
упрощены автоматически до одной из этих констант:
TRUE and not (FALSE or TRUE)
FALSE or UNKNOWN, TRUE or UNKNOWN
Логические операторы упрощают подвыражения, которые оценивают к константам TRUE
, FALSE
, UNKNOWN
.
b1 or b2 and TRUE
FALSE or ((not b1) and TRUE)
b1 and (b2 or FALSE) and UNKNOWN
FALSE or (b1 and UNKNOWN) or x < 1
TRUE and ((b1 and FALSE) or (b1 and TRUE))
Однако равенства и неравенства не оценены:
(x = x) and (1 < 2) and (2 < 3) or (3 < 4)
Булева оценка осуществляется через bool
:
bool(%)
Выражения, включающие символьные булевы подвыражения, не упрощены and
, or
, not
. Упрощение нужно требовать явным образом через функциональный simplify
:
(b1 and b2) or (b1 and (not b2)) and (1 < 2)
simplify(%, logic)
Булевы функции _and
и _or
принимают произвольные последовательности Булевых выражений. Следующий вызов использует isprime
, чтобы проверять, является ли по крайней мере одно из чисел главным:
set := {1987, 1993, 1997, 1999, 2001}: _or(isprime(i) $ i in set)
delete set:
|
Булевы выражения |
Булево выражение.
b
, b_1
, b_2