PRODUCTS
PURCHASE
FOR USERS
COMPANY
OUR SITES
DOCUMENTATION CENTER SEARCH
Mathematica
>
論理演算とブール代数
>
Mathematica
組込みシンボル
関係演算子と論理演算子
論理関数と区分関数
ベキ級数を含む方程式の解法
チュートリアル »
|
Expand
PiecewiseExpand
Reduce
Implies
Resolve
And
Not
Or
関連項目 »
|
代数変換
不等式
論理演算とブール代数
式の操作
多項式系
その他 »
LogicalExpand
LogicalExpand
[
expr
]
&&
や
||
等の論理結合子を含む式を展開する．
詳細
LogicalExpand
は，分配法則を論理演算に適用する．
LogicalExpand
は，いくつかの簡約化をともなう選言標準形に対応する論理積の項を論理和として生成する．
例題
すべて閉じる
例
(1)
論理式を展開する：
In[1]:=
Out[1]=
スコープ
(7)
アプリケーション
(1)
特性と関係
(2)
おもしろい例題
(1)
関連項目
Expand
PiecewiseExpand
Reduce
Implies
Resolve
And
Not
Or
チュートリアル
関係演算子と論理演算子
論理関数と区分関数
ベキ級数を含む方程式の解法
その他
代数変換
不等式
論理演算とブール代数
式の操作
多項式系
バージョン 1 の新機能
© 2008 Wolfram Research, Inc.
例題
例 
スコープ 