==>, _implies
Логическое значение
Блокноты MuPAD® будут демонтированы в будущем релизе. Используйте live скрипты MATLAB® вместо этого.
Live скрипты MATLAB поддерживают большую часть функциональности MuPAD, хотя существуют некоторые различия. Для получения дополнительной информации смотрите, Преобразуют Notebook MuPAD в Live скрипты MATLAB.
Синтаксис
b1 ==> b2 _implies(b1,b2)
Описание
b1 ==> b2 представляет логическое значение Булевых выражений b1, b2.
a ==> b эквивалентно not a or b. Смотрите пример 1.
_implies(a, b) эквивалентно a ==> b.
MuPAD® использует логику с тремя состояниями с булевыми константами TRUEложь, и UNKNOWN. Они обрабатываются можно следующим образом:
and | TRUE | FALSE | UNKNOWN |
TRUE | TRUE | FALSE | UNKNOWN |
FALSE | FALSE | FALSE | FALSE |
UNKNOWN | UNKNOWN | FALSE | UNKNOWN |
Булевы выражения могут состоять из этих констант, а также из произвольных арифметических выражений. Как правило, уравнения, такие как x = y, и неравенства, такие как x <> y, x < y, x <= y, используются, чтобы создать Булевы выражения.
Комбинации констант TRUEложь, UNKNOWN в Булевом выражении упрощены автоматически. Однако символьные булевы подвыражения, равенства и неравенства не оценены и упрощены логическими операторами. Используйте bool выполнять такие выражения к одной из булевых констант. Отметьте, однако, тот bool может оценить неравенства x < y, x <= y, и так далее, только если они состоят из количеств типа Type::Real.
Используйте simplify с опцией logic упростить выражения, включающие символьные булевы подвыражения. Смотрите Пример 1.
Приоритеты логических операторов следующие. Если в сомнении, используйте круглые скобки, чтобы гарантировать, что выражение анализируется, как желаемый.
Оператор
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повторение, и while операторы, Булевы выражения выполнены через “отложенные вычисления” (см. _lazy_and, _lazy_or). В любом другом контексте оценены все операнды.
Примеры
Пример 1
a ==> b эквивалентно not a or b.
simplify((a ==> b), logic)
not a or b
Параметры
|
Булевы выражения |
Возвращаемые значения
Булево выражение.
Перегруженный
b, b_1, b_2