Создайте символическое неравенство $$x^2>4$$.

syms x
eq = x^2 > 4

eq = 

Предположим, что $$x>2$$.

assume(x>2)

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

T = simplify(eq)

T = $$\mathrm{symtrue}$$

Отображение типа данных T, что sym.

class(T)

ans = 
'sym'

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

TF = isAlways(eq)

TF = logical
   1

Использование symtrue чтобы сгенерировать квадратную матрицу 3 на 3 символьных логических symtrueс.

T = symtrue(3)

T = 
$$\left(\begin{array}{ccc}\mathrm{symtrue}& \mathrm{symtrue}& \mathrm{symtrue}\\ \mathrm{symtrue}& \mathrm{symtrue}& \mathrm{symtrue}\\ \mathrm{symtrue}& \mathrm{symtrue}& \mathrm{symtrue}\end{array}\right)$$

Отображение типа данных T, что sym.

class(T)

ans = 
'sym'

Далее используйте symtrue произвести массив символических 3 на 2 на 2, логичных symtrue.

T = symtrue(3,2,2)

T(:,:,1) = 
$$\left(\begin{array}{cc}\mathrm{symtrue}& \mathrm{symtrue}\\ \mathrm{symtrue}& \mathrm{symtrue}\\ \mathrm{symtrue}& \mathrm{symtrue}\end{array}\right)$$

T(:,:,2) = 
$$\left(\begin{array}{cc}\mathrm{symtrue}& \mathrm{symtrue}\\ \mathrm{symtrue}& \mathrm{symtrue}\\ \mathrm{symtrue}& \mathrm{symtrue}\end{array}\right)$$

Кроме того, можно использовать вектор размера, чтобы задать размер массива.

T = symtrue([3,2,2])

T(:,:,1) = 
$$\left(\begin{array}{cc}\mathrm{symtrue}& \mathrm{symtrue}\\ \mathrm{symtrue}& \mathrm{symtrue}\\ \mathrm{symtrue}& \mathrm{symtrue}\end{array}\right)$$

T(:,:,2) = 
$$\left(\begin{array}{cc}\mathrm{symtrue}& \mathrm{symtrue}\\ \mathrm{symtrue}& \mathrm{symtrue}\\ \mathrm{symtrue}& \mathrm{symtrue}\end{array}\right)$$

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

A = [symtrue symfalse]

A = $$\left(\begin{array}{cc}\mathrm{symtrue}& \mathrm{symfalse}\end{array}\right)$$

B = [symtrue; symfalse]

B = 
$$\left(\begin{array}{c}\mathrm{symtrue}\\ \mathrm{symfalse}\end{array}\right)$$

TF = and(A,B)

TF = 
$$\left(\begin{array}{cc}\mathrm{symtrue}& \mathrm{symfalse}\\ \mathrm{symfalse}& \mathrm{symfalse}\end{array}\right)$$

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

TF = xor(symtrue,or(symfalse,symfalse))

TF = $$\mathrm{symtrue}$$

TF = symtrue & ~(symfalse)

TF = $$\mathrm{symtrue}$$

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

T1 = logical(symtrue)

T1 = logical
   1

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

T2 = double(symtrue)

T2 = 1

T3 = vpa(symtrue)

T3 = $$1.0$$

Показать типы данных T1, T2, и T3.

whos

  Name      Size            Bytes  Class      Attributes

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