オンラインブール式変換器

機能と使い方の詳細

入力できる式の形式

このツールは、変数名（A〜Zまたはa〜zで始まる）、括弧、論理演算子（NOT: !、AND: &&、OR: ||）、および定数true/false（大文字小文字を区別しない）をサポートします。変数名は大文字小文字を区別します。演算子の優先順位はNOTが最優先、次にAND、最後にORです。専用の字句解析器と再帰下降パーサーが式を評価するため、JavaScriptのevalやコード実行は行われません。サポートされていない文字や構文エラー、括弧の不一致は拒否されます。

変数の制限と真理値表

最大6個の異なる変数を受け付け、真理値表は最大64行になります。7個以上の変数を入力するとエラーが発生します（以前のように無視されることはありません）。真理値表の行は各変数についてfalseが先、trueが後で、最後の変数が最も速く変化します。

出力される標準形

変換結果として、真理値表に加えて、主加法標準形（DNF、最小項の和）と主乗法標準形（CNF、最大項の積）が表示されます。これらは完全な標準形であり、代数的最小化は行われません。最小化が必要な場合は、別のカルノー図ツールを使用してください。

具体例

入力: A && (B || !C)

この式の真理値表では、A=true, B=false, C=false（行100）、A=true, B=true, C=false（行110）、A=true, B=true, C=true（行111）の3行がtrueになります。DNFは (A && !B && !C) || (A && B && !C) || (A && B && C) で始まります。

FAQ

Q1: 変数名に数字やアンダースコアは使えますか？

いいえ。変数名はA〜Zまたはa〜zで始まる必要があります。数字やアンダースコアで始まる名前はサポートされていません。また、変数名は大文字小文字を区別するため、aとAは別の変数として扱われます。

Q2: XORや含意（→）などの演算子は使えますか？

いいえ。このツールはNOT、AND、ORのみをサポートしています。XOR、含意、同値などの演算子は使用できません。また、数値の0/1を定数として使うこともできません。

Q3: エラーが表示された場合、どうすればよいですか？

エラーメッセージを確認し、式の構文が正しいか、括弧が対応しているか、変数が6個以下であるかを確認してください。サポートされていない文字や演算子が含まれている場合もエラーになります。

チェックリスト

• 変数名はA〜Zまたはa〜zで始まるか確認
• 演算子は!、&&、||のみ使用
• 括弧の対応を確認
• 変数が6個以下であることを確認
• 結果の真理値表と標準形を確認

このツールはブラウザ内で全て処理が行われ、入力データが外部に送信されることはありません。