Exponenta Banner
exponenta event banner

и

Логическое И для символьных выражений

свернуть все на странице

Синтаксис

A&B
и (A, B)

Описание

пример

A & B представляет логическое И. A & B true только тогда, когда оба A и B являются правдой.

and(A,B) эквивалентно A & B.

Примеры

свернуть все

Объединение символьных неравенств в одно условие с помощью &.

syms x y
cond = x>=0 & y>=0;

Установить допущения, представленные условием с помощью assume.

assume(cond)

Убедитесь, что предположения установлены.

assumptions
ans =
[ 0 <= x, 0 <= y]

Определение диапазона для переменной путем объединения двух неравенств в логическое условие с помощью &.

syms x
range = 0 < x & x < 1;

Вернуть условие в 1/2 и 10 заменой на x использование subs. subs функция не вычисляет условия автоматически.

x1 = subs(range,x,1/2)
x2 = subs(range,x,10)
x1 =
0 < 1/2 & 1/2 < 1
x2 =
0 < 10 & 10 < 1

Оценка неравенства до логического 1 или 0 с помощью isAlways.

isAlways(x1)
isAlways(x2)
ans =
  logical
   1
ans =
  logical
   0

Входные аргументы

свернуть все

Операнды, определяемые как символические уравнения, неравенства, выражения или массивы. Исходные данные A и B должны иметь одинаковый размер или совместимые размеры (например, A является Mоколо-N матрица и B является скаляром или 1около-N вектор строки). Дополнительные сведения см. в разделе Совместимые размеры массивов для основных операций.

Совет

  • При звонке simplify для логического выражения, содержащего символьные подчиненные выражения, можно получить символьные константы symtrue и symfalse. Эти две константы не совпадают с логическими 1 (true) и логический 0 (false). Преобразование символов symtrue и symfalse для логических значений, используйте logical.

Вопросы совместимости

развернуть все

В R2016b изменилось поведение

См. также

| | | | | |

Представлен в R2012a

Документация по инструментам символьной математики

Поддержка