symtrue

Символьная верная логическая константа

Синтаксис

Описание

пример

T = symtrue возвращает символьную логическую константу для истинного условия.

Примеры

свернуть все

Создайте символьное неравенство x2>4.

syms x
eq = x^2 > 4
eq = 4<x24 <x^2

AssumeThat x>2.

assume(x>2)

Упростите условие, представленное символьным неравенством eq. simplify функция возвращает символьную логическую константу symtrue поскольку условие всегда содержит для предположения x>2.

T = simplify(eq)
T = symtruesymtrue

Отобразите тип данных symtrue, который является sym.

class(T)
ans = 
'sym'

Можно также использовать isAlways проверять, содержит ли неравенство под сделанным предположением. В этом примере, isAlways возвращает логический 1 TRUE).

TF = isAlways(eq)
TF = logical
   1

Создайте таблицу истинности для and операция применилась к двум символьным логическим константам, symtrue и symfalse.

A = [symtrue symfalse]
A = (symtruesymfalse)[symtrue, symfalse]
B = [symtrue; symfalse]
B = 

(symtruesymfalse)[symtrue; symfalse]

TF = and(A,B)
TF = 

(symtruesymfalsesymfalsesymfalse)[symtrue, symfalse; symfalse, symfalse]

Объедините символьные логические константы с логическими операторами and, not, or, и xor (или их ярлыки).

TF = xor(symtrue,or(symfalse,symfalse))
TF = symtruesymtrue
TF = symtrue & ~(symfalse)
TF = symtruesymtrue

Преобразуйте символьную логическую константу symtrue к логическому значению.

T1 = logical(symtrue)
T1 = logical
   1

Преобразуйте символьную логическую константу symtrue к числовым значениям в двойной точности и переменной точности.

T2 = double(symtrue)
T2 = 1
T3 = vpa(symtrue)
T3 = 1.0vpa ('1.0')

Покажите типы данных T1t2 , и T3.

whos
  Name      Size            Bytes  Class      Attributes

  T1        1x1                 1  logical              
  T2        1x1                 8  double               
  T3        1x1                 8  sym                  

Выходные аргументы

свернуть все

Символьная логическая константа для истинного условия, возвращенного как скаляр.

Типы данных: sym

Советы

  • Команда sym(true) возвращает символьное число 1, и sym(symtrue) возвращает symtrue.

  • Когда вы комбинируете два массива символьных логических констант с логическими операциями с помощью and, or, или xor функция, массивы должны или быть одного размера или иметь размеры, которые совместимы. Для получения дополнительной информации о необходимых входных размерах для основных операций над массивами смотрите Совместимые Размеры Массивов для Основных Операций (MATLAB).

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

| | | | |

Введенный в R2020a

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