真理値表から式へのジェネレーター
任意の真理値表を論理式に変換します。カスタム真理値表から選言標準形（DNF）または連言標準形（CNF）のブール式を生成します。
変数: p, q
| p | q | 出力 |
|---|---|---|
| ⊥ | ⊥ | |
| ⊤ | ⊥ | |
| ⊥ | ⊤ | |
| ⊤ | ⊤ |
出力値をクリックして真(⊤)と偽(⊥)を切り替えます
ブール合成の理解
選言標準形 (DNF)
DNFは式をANDのOR（積和形）として表現します。出力が真である各行に対して、すべての変数をANDで結合し、偽の変数を否定した最小項を作成します。これらの最小項はORで結合されて完全な式を形成します。
連言標準形 (CNF)
CNFは式をORのAND（和積形）として表現します。出力が偽である各行に対して、すべての変数をORで結合し、真の変数を否定した最大項を作成します。これらの最大項はANDで結合されて完全な式を形成します。
真理値表合成の応用
真理値表を論理式に変換することは、コンピュータサイエンスとデジタルエレクトロニクスの基本的な技術です。このツールは以下に役立ちます：
- デジタル回路設計 - 望ましい入出力動作からロジックゲート用のブール方程式を作成
- ソフトウェア開発 - 仕様表から条件付きロジックを生成
- 学術研究 - ブール代数と命題論理を学び、練習する
- 論理最適化 - より単純な等価式を見つけるためにDNFとCNF形式を比較