xor

シンボリック式の論理 XOR

ページ内をすべて折りたたむ

構文

xor(A,B)

説明

xor(A,B) は、排他的論理和を表します。A または B のいずれか一方が真の場合、xor(A,B) が真になります。A と B の両方が真または偽の場合、xor(A,B) は偽です。

例

例

条件の設定および評価

xor を使用して、2 つのシンボリック不等式を 1 つの論理式に結合します。

syms x
range = xor(x > -10, x < 10);

変数 x を 11 と 0 で置き換えます。x を 11 で置き換えた場合には、不等式 x > -10 が有効になり、x < 10 が無効になります。x を 0 で置き換えた場合には、両方の不等式が有効になります。subs が数値を不等式に代入するだけであることに注意してください。これらの不等式は logical 1 または logical 0 に評価されません。

x1 = subs(range,x,11)
x2 = subs(range,x,0)
x1 =
-10 < 11 xor 11 < 10
 
x2 =
-10 < 0 xor 0 < 10

これらの不等式を logical 1 または 0 に評価するには、isAlways を使用します。1 つの不等式のみが有効な場合、xor の式は、logical 1 に評価されます。両方の不等式が有効な場合、xor の式は、logical 0 に評価されます。

isAlways(x1)
isAlways(x2)
ans =
  logical
     1

ans =
  logical
     0

simplify がこれらの論理式を logical 1 または 0 に単純化しないことに注意してください。simplify は代わりに "シンボリック" 定数 symtrue または symfalse を返します。

s1 = simplify(x1)
s2 = simplify(x2)
s1 =
symtrue
 
s2 =
symfalse

logical を使用して、シンボリックな symtrue または symfalse を logical 値に変換します。

logical(s1)
logical(s2)
ans =
  logical
     1

ans =
  logical
     0

入力引数

すべて折りたたむ

オペランド。シンボリック方程式、シンボリック不等式、シンボリック式、シンボリック配列として指定します。入力 A と入力 B は同じサイズまたは適合するサイズでなければなりません (たとえば、M 行 N 列の行列 A と、スカラーまたは 1 行 N 列の行ベクトル B)。詳細については、基本的な演算で互換性のある配列サイズを参照してください。

ヒント

  • シンボリックな部分式を含む論理式に対して simplify を呼び出す場合には、シンボリック定数 symtrue と symfalse を取得できます。これら 2 つの定数は、logical 1 (true) および logical 0 (false) と同じではありません。シンボリックな symtrue や symfalse を logical 値に変換するには、logical を使用します。

  • assume および assumeAlso は、xor を含む仮定を受け入れません。

バージョン履歴

R2012a で導入

すべて展開する

参考

| | | | |