Exponenta Banner

not

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

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

Синтаксис

~A
not(A)

Описание

пример

~A представляет логическое НЕ. ~A верно, когда A ложно и ложно, когда A является true.

not(A) эквивалентно ~A.

Примеры

свернуть все

Создайте логическое условие при помощи ~.

syms x y
cond = ~(x > y);

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

assume(cond)

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

assumptions
ans =
~y < x

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

syms x
range = abs(x) < 1 & ~(abs(x)<1/3);

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

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

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

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

ans =
  logical
     1

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

свернуть все

Вход, заданный как число, вектор, матрица или массив или символьное число, переменная, массив, функция или выражение.

Совет

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

См. также

| | | | | |

Введенный в R2012a

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

Поддержка