Exponenta Banner
exponenta event banner

not

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

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

Синтаксис

~A
not(A)

Описание

пример

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

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

Поддержка