normalize a Boolean expression

はじめる前に
新機能一覧
Maple ワークシートの作成
Mapleワークシートを共有
Maple ウィンドウのカスタマイズ
Maple システムのカスタマイズ
コネクティビティ
Mathematics
数学
- テンソル解析
- パッケージ
- ファンクションアドバイザ
- ベキ級数
- ベクトル解析
- 不活性関数
- 代数
- 因数分解と方程式解法
- 基本数学
- 基本的な注意事項
- 変分法
- 変換
- 幾何
- 微分代数方程式
- 微分幾何学
- 微分方程式
- 微積分
- 数
- 数値計算
- 数学関数
- 数論
- 最適化
- 特殊関数
- 統計
- 線形代数
- 群論
- 評価
- 論理
  - 演算子
  - 概要
  - BooleanSimplify
  - Canonicalize
  - Dual
  - Environment
  - Satisfy
  - Tautology
  - TruthTable
  - インポート
  - エクスポート
  - ランダム
  - 含む
  - 標準化
- 過去のパッケージ
- 金融
- 離散数学
- piecewise examples
- グラフ電卓
- 区分関数
物理
プログラミング
- Bits
- codegen パッケージ
- CodeTools
- Document Tools パッケージ
- eBookTools パッケージ
- Grid パッケージ
- InstallerBuilder パッケージ
- Maplets パッケージ
- OpenMaple 外部関数 API
- オブジェクト
- オペレーション
- コード生成パッケージ
- コンパイル
- データ型
- デバッグ
- ドメイン
- パッケージ
- プロシージャと関数
- プロファイル
- マルチスレッドプログラミング
- モジュール
- リソース管理
- 並列プログラミング
- 乱数
- 低レベルの操作
- 入力と出力
- 処理フローの制御
- 名前と文字列
- 基本的な注意事項
- 外部ルーチンの呼出
- 式
- 注釈
- 画像処理
- 評価
- 論理
  - Quantifiers
  - Relations
  - オペレーション
  - ブール値
    - Logic パッケージ
    - verify
    - boolean (ブール値)
    - depends
    - evalb
    - evalhf/boolean
    - FAIL
    - has
    - hasoption
    - hastype
    - isdifferentiable
    - match
    - member
    - testeq
    - true
    - typematch
- 音声処理
- ★語彙スコーピング
- CompSeq 関数
- IsWorksheetInterface コマンド
- コードエディタ
- スタートアップコード
グラフィックス
Student パッケージ
Science and Engineering
科学・エンジニアリング
アプリケーションと例題
リファレンス
システム
MapleSim
MapleSim ツールボックス
MapleSim ヘルプ
Tasks
Toolboxes
エラーメッセージガイド
マニュアル
数学アプリ

Logic[Normalize] - normalize a Boolean expression

	Calling Sequence
	Normalize(b, form)

Parameters

b	-	Boolean expression
form	-	(optional) expression where form=DNF or form=CNF

Description

•	The Normalize command transforms a given Boolean expression into a specific normal form.

•	The normal form used is determined by the form option. The value of form may be DNF (disjunctive normal form) or CNF (conjunctive normal form). If no such option is given, disjunctive normal form is used.

•	The transformation is performed by applying the distributive law and De Morgan's law to the given expression. The resulting expression is not guaranteed to be unique, minimized or in a canonical form.