Main Content

and

シンボリック式の論理積

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

構文

A & B
and(A,B)

説明

例

A & B は論理 AND を表します。A および B の両方が真の場合にのみ、A & B が真になります。

関数 and(A,B) は、関数 A & B と等価です。

例

すべて折りたたむ

& を使用して、シンボリック不等式を 1 つの条件に結合します。

syms x y
cond = x>=0 & y>=0;

assume を使用して、この条件で表される仮定を設定します。

assume(cond)

仮定が設定されていることを確認します。

assumptions
ans =
[ 0 <= x, 0 <= y]

& を使用して 2 つの不等式を 1 つの論理条件に結合することで、変数の範囲を定義します。

syms x
range = 0 < x & x < 1;

subs を使用して x への代入を行うことで、1/2 および 10 における条件を返します。関数 subs は、自動的には条件を評価しません。

x1 = subs(range,x,1/2)
x2 = subs(range,x,10)
x1 =
0 < 1/2 & 1/2 < 1
x2 =
0 < 10 & 10 < 1

isAlways を使用して、これらの不等式を logical 1 または 0 に評価します。

isAlways(x1)
isAlways(x2)
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 を使用します。

バージョン履歴

R2012a で導入

すべて展開する

参考

| | | | | |