Ввод::
Введите булевы выражения представления
Блокноты MuPAD® будут демонтированы в будущем релизе. Используйте live скрипты MATLAB® вместо этого.
Live скрипты MATLAB поддерживают большую часть функциональности MuPAD, хотя существуют некоторые различия. Для получения дополнительной информации смотрите, Преобразовывают Notebook MuPAD в Live скрипты MATLAB.
Синтаксис
testtype(obj, Type::Boolean)
Описание
Type::Boolean представляет логические формулы.
Булевы выражения являются всеми следующими объектами: булевы константы TRUE, FALSE и UNKNOWN; идентификаторы; уравнения и неравенства; выражения с оператором and, or, not, xor, _implies, _equiv, если каждым операндом является Булево выражение; или результаты, возвращенные solvelib::isEmpty.
Примеры
Пример 1
Идентификаторами и булевыми константами являются Булевы выражения:
testtype(TRUE, Type::Boolean), testtype(a, Type::Boolean)
Пример 2
Чтобы выражение быть булевской переменной, не было достаточно, что только ее оператор является логическим оператором; также его операндами должны быть Булевы выражения.
testtype(a >= 3 and b, Type::Boolean); testtype(a+b and c, Type::Boolean)
Параметры
|
Любой объект MuPAD® |
Возвращаемые значения
Смотрите testtype