製品
製品の一覧
Mathematica
Mathematica
学生エディション
Mathematica
ホームエディション
Wolfram
CDF Player
（無料ダウンロード）
CDF（計算可能ドキュメント形式）
web
Mathematica
grid
Mathematica
Wolfram
Workbench
Wolfram
SystemModeler
Wolfram
Finance Platform
Mathematica
アドオン
Wolfram|Alpha関連製品
ソリューション
ソリューションの一覧
工学
航空宇宙工学と防衛
化学工学
制御系
電気工学
画像処理
生産工学
材料科学
機械工学
オペレーションズリサーチ
光学
石油工学
バイオテクノロジーと医学
バイオインフォマティクス
医用画像処理
金融，統計，ビジネスの分析
保険数理
データの解析とマイニング
計量経済学
経済学
金融工学と数学
財務リスク管理
統計
ソフトウェア工学とコンテンツ配信
オーサリングと出版
インターフェース開発
ソフトウェア工学
Web開発
科学
天文学
バイオサイエンス
化学
環境科学
地球科学
社会・行動科学
デザイン，芸術，娯楽
ゲームデザイン・特殊効果・ジェネレーティブアート
教育
高等教育
短大・専門学校
初等・中等教育
学生
テクノロジー
CDF（計算可能ドキュメント形式）
高性能並列計算(HPC)
参照：テクノロジーガイド
ご購入
オンラインストア
他の購入方法
Volumeライセンスとサイトライセンス
販売部へのご連絡
ソフトウェア
サービス
アップグレード
トレーニング
書籍
Wolframグッズ
サポート
テクニカルサポートページ
Mathematica
ドキュメント
知識ベース
ラーニングセンター
テクニカルサービス
コミュニティ & フォーラム
トレーニング
サイトライセンスの確認
Wolframユーザポータル
会社概要
会社概要
ニュースとイベント
Wolframブログ
パートナーシップ
採用情報
Mathematica
の歴史
Stephen Wolframのホームページ
連絡先
Wolfram Webサイト
サイトの一覧
Wolfram|Alpha
デモンストレーションプロジェクト
MathWorld
Integrator
Wolfram Functions Site
Mathematica Journal
Wolfram Media
Wolfram
Tones
Wolfram Science
Stephen Wolfram
SEARCH MATHEMATICA 8 DOCUMENTATION
THIS IS DOCUMENTATION FOR AN OBSOLETE PRODUCT.
SEE THE
DOCUMENTATION CENTER
FOR THE LATEST INFORMATION.
Mathematica
>
Mathematica
組込みシンボル
関係演算子と論理演算子
論理関数と区分関数
ベキ級数を含む方程式の解法
チュートリアル »
|
Expand
PiecewiseExpand
Reduce
BooleanConvert
Implies
Resolve
And
Not
Or
関連項目 »
|
代数変換
ブール計算
不等式
式の操作
多項式系
その他 »
LogicalExpand
LogicalExpand
[
expr
]
方程式，不等式，その他の関数の論理結合を展開する．
詳細
LogicalExpand
は，分配法則を論理演算に適用する．
LogicalExpand
は，いくつかの簡約化をともなう選言標準形に対応する論理積の項を論理和として生成する．
例題
すべて閉じる
例
(1)
論理式を展開する：
In[1]:=
Out[1]=
スコープ
(7)
アプリケーション
(1)
特性と関係
(2)
おもしろい例題
(1)
関連項目
Expand
PiecewiseExpand
Reduce
BooleanConvert
Implies
Resolve
And
Not
Or
チュートリアル
関係演算子と論理演算子
論理関数と区分関数
ベキ級数を含む方程式の解法
その他
代数変換
ブール計算
不等式
式の操作
多項式系
バージョン 1 の新機能
例題
例 
スコープ 