ヘルプ センターヘルプ センター
シンボリック式の論理否定
~A
not(A)
例
~A は論理 NOT を表します。A が偽のとき、~A は真です。A が真のときは偽です。
A
関数 not(A) は、関数 ~A と等価です。
すべて折りたたむ
~ を使用して論理条件を作成します。
~
syms x y cond = ~(x > y);
assume を使用して、この条件で表される仮定を設定します。
assume
assume(cond)
仮定が設定されていることを確認します。
assumptions
ans = ~y < x
論理演算子 ~ および & を使用して条件を作成して x の範囲を指定します。
&
x
syms x range = abs(x) < 1 & ~(abs(x)<1/3);
subs を使用して x への代入を行うことで、0 および 2/3 における条件を返します。関数 subs は、自動的には条件を評価しません。
subs
0
2/3
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 を使用して、これらの不等式を logical 1 または 0 に評価します。
isAlways
1
isAlways(x1) isAlways(x2)
ans = logical 0 ans = logical 1
入力。数値、ベクトル、行列、または配列、あるいはシンボリック数、変数、配列、関数、または式で指定されます。
シンボリックな部分式を含む論理式に対して simplify を呼び出す場合には、シンボリック定数 symtrue と symfalse を取得できます。これら 2 つの定数は、logical 1 (true) および logical 0 (false) と同じではありません。シンボリックな symtrue や symfalse を logical 値に変換するには、logical を使用します。
simplify
symtrue
symfalse
true
false
logical
R2012a で導入
all | and | any | isAlways | or | piecewise | xor
all
and
any
or
piecewise
xor
次の MATLAB コマンドに対応するリンクがクリックされました。
コマンドを MATLAB コマンド ウィンドウに入力して実行してください。Web ブラウザーは MATLAB コマンドをサポートしていません。
Select a Web Site
Choose a web site to get translated content where available and see local events and offers. Based on your location, we recommend that you select: .
You can also select a web site from the following list:
Select the China site (in Chinese or English) for best site performance. Other MathWorks country sites are not optimized for visits from your location.
Contact your local office