Exponenta Banner
exponenta event banner

нет

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

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

Синтаксис

~ A
не (A)

Описание

пример

~A представляет логическое NOT. ~A true, когда A имеет значение false и false, если 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

Документация по инструментам символьной математики

Поддержка