Exponenta Banner

нет

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

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

Синтаксис

~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 для логического выражения, которое содержит символьные подвыражения, можно получить символьные значения TRUE и FALSE. Эти значения не являются тем же самым как логическим 1 (true) и логическим 0 (false). Чтобы преобразовать символьный TRUE и FALSE к логическим значениям, используйте isAlways.

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

| | | | | |

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

Документация Symbolic Math Toolbox
Поддержка