私は古いコードをリファクタリングしていて、非常に複雑で長すぎるいくつかのIF条件に遭遇しましたが、それらは単純化できると確信しています。私の推測では、これらの条件は、後の変更のために非常に大きくなりました。
とにかく、私が使用できる優れたオンラインシンプリファイアを知っている人がいるかどうか疑問に思いました。私は特定の言語には興味がありません。たとえば、次のような単純化したものだけに興味があります。
（（A OR B）AND（！B AND C）OR C）
そして、もしあれば、式の簡略化されたバージョンを教えてください。
私は他の同様の質問を見てきましたが、どれも私に良い単純化を示していません。
ありがとう。
入力に基づいて、この例のようにWolframAlphaを試すことができます。
Logic Friday 1カリフォルニア大学のツール（EspressoおよびmisII）が含まれており、GUIで使用できるようになっています。必要に応じて、ブール方程式と真理値表を入力できます。また、グラフィカルなゲート図の入力と出力も備えています。
最小化は、2レベルまたはマルチレベルで実行できます。2レベルの形式では、製品の合計が最小化されます。マルチレベル形式は、論理ゲートで構成される回路を作成します。ゲートの種類はユーザーが制限できます。
あなたの表現はに単純化されCます。
ブール式リデューサーは、LogicFridayよりもはるかに使いやすいことがわかりました。さらに、インストールを必要とせず、マルチプラットフォーム（Java）です。
また、Logic Fridayでは、式A | Bは真理値表に3つのエントリを返すだけです。私は4を期待しました。