WolframのWebサイトのコンテンツとインタラクトしたりフォームを送信したりするためには，JavaScriptを有効にしてください．有効にする方法

LogicalExpand

LogicalExpand[expr]

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

詳細とオプション

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

例題

すべて開くすべて閉じる

例 (1)

論理式を展開する：

スコープ (7)

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

論理式を簡約する：

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

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

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

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

Element文の否定を展開する：

アプリケーション (1)

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

特性と関係 (2)

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

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

おもしろい例題 (1)

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

トップへ