not

기호 표현식의 논리 NOT

구문

~A

not(A)

~A는 논리 NOT을 나타냅니다. ~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);

subs를 사용하여 x에 0과 2/3를 대입하여 각 값에서의 조건을 반환합니다. 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

isAlways를 사용하여 부등식을 논리값 1 또는 0으로 평가합니다.

isAlways(x1)
isAlways(x2)

ans =
  logical
     0

ans =
  logical
     1

입력값으로, 숫자, 벡터, 행렬, 배열로 지정되거나 기호 숫자, 기호 변수, 기호 배열, 기호 함수, 기호 표현식으로 지정됩니다.

기호 하위 표현식을 포함하는 논리식에 대해 simplify를 호출하면 기호 상수 symtrue와 symfalse를 얻을 수 있습니다. 이러한 두 상수는 논리값 1(true) 및 논리값 0(false)과 같지 않습니다. 기호 symtrue와 symfalse를 논리값으로 변환하려면 logical을 사용하십시오.