Exponenta Banner

or

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

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

Синтаксис

A | B
or(A,B)

Описание

пример

A | B представляет логический OR. A | B верно, когда или A или B true, или когда оба A и B являются true.

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

Примеры

свернуть все

Объедините эти символьные неравенства в логическое условие при помощи |.

syms x y
xy = x>=0 | y>=0;

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

assume(xy)

Проверьте, что допущения установлены.

assumptions
ans =
0 <= x | 0 <= y

Объедините два символьных неравенства в логическое выражение при помощи |.

range = x < -1 | x > 1;

Замена x с 0 и 10. Хотя неравенства имеют значения, subs не оценивает их в логические 1 или 0.

x1 = subs(range,x,10)
x2 = subs(range,x,0)
x1 =
1 < 10 | 10 < -1
x2 =
0 < -1 | 1 < 0

Оцените неравенства при помощи isAlways.

isAlways(x1)
ans =
  logical
     1

isAlways(x2)
ans =
  logical
     0

Объедините несколько условий путем применения or к условиям, использующим fold функция.

Установите условие, которое x равен целому числу между 1 и 10.

syms x
cond = fold(@or, x == 1:10);
assume(cond)
assumptions
ans =
x == 1 | x == 2 | x == 3 | x == 4 | x == 5 |...
 x == 6 | x == 7 | x == 8 | x == 9 | x == 10

Входные параметры

свернуть все

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

Совет

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

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

расширить все

Поведение изменено в R2016b

См. также

| | | | | |

Введенный в R2012a

Документация Symbolic Math Toolbox

Поддержка