WOLFRAM

Wolfram Language & System Documentation Center

LogicalExpand[expr]

方程式，不等式，その他の関数の論理結合を展開する．

詳細とオプション
Details and Options Details and Options
例題  
例  
スコープ  
アプリケーション  
特性と関係  
おもしろい例題  
関連項目
テクニカルノート
関連するガイド
履歴
引用書式

LogicalExpand

LogicalExpand[expr]

方程式，不等式，その他の関数の論理結合を展開する．

詳細とオプション

  • LogicalExpandは，分配法則を論理演算に適用する．
  • LogicalExpandは，いくつかの簡約化をともなう選言標準形に対応する論理積の項を論理和として生成する．

例題

すべて開く すべて閉じる

例  (1)

論理式を展開する：

スコープ  (7)

論理式を論理積の論理和（論理和標準形）として表す：

論理式を簡約する：

And，Or，Notのみを含む形に論理式を展開する：

方程式を結合したものを展開する：

級数の異なる項について別々の方程式を得る：

複数の引数を持つ方程式と不等式を2引数の形に変換する：

Element文の否定を展開する：

アプリケーション  (1)

トートロジーを証明する：

特性と関係  (2)

LogicalExpandの出力は入力に等しい：

ド・モルガン(De Morgan)の法則：

おもしろい例題  (1)

個の変数の展開したXorは，常に項を含む：

Wolfram Research (1988), LogicalExpand, Wolfram言語関数， https://reference.wolfram.com/language/ref/LogicalExpand.html.

テキスト

Wolfram Research (1988), LogicalExpand, Wolfram言語関数， https://reference.wolfram.com/language/ref/LogicalExpand.html.

CMS

Wolfram Language. 1988. "LogicalExpand." Wolfram Language & System Documentation Center. Wolfram Research. https://reference.wolfram.com/language/ref/LogicalExpand.html.

APA

Wolfram Language. (1988). LogicalExpand. Wolfram Language & System Documentation Center. Retrieved from https://reference.wolfram.com/language/ref/LogicalExpand.html

BibTeX

@misc{reference.wolfram_2025_logicalexpand, author="Wolfram Research", title="{LogicalExpand}", year="1988", howpublished="\url{https://reference.wolfram.com/language/ref/LogicalExpand.html}", note=[Accessed: 13-September-2025]}

BibLaTeX

@online{reference.wolfram_2025_logicalexpand, organization={Wolfram Research}, title={LogicalExpand}, year={1988}, url={https://reference.wolfram.com/language/ref/LogicalExpand.html}, note=[Accessed: 13-September-2025]}