Exponenta Banner

or

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

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

Синтаксис

A | B
or(A,B)

Описание

пример

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

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- N матрица и B скаляр или 1- N вектор-строка). Для получения дополнительной информации см. "Совместимые размеры массивов для основных операций".

Советы

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

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

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

Поведение изменяется в R2016b

Смотрите также

| | | | | |

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

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

Поддержка