そこに良いブール式の簡略化器はありますか？[閉まっている]

私は古いコードをリファクタリングしていて、非常に複雑で長すぎるIF条件に遭遇し、それらを簡略化できると確信しています。私の推測では、これらの条件は、後の変更のために非常に大きくなりました。

とにかく、私が使用できる優れたオンラインシンプリファイアを知っている人がいるかどうか疑問に思っていました。私は特定の言語には興味がなく、たとえば次のような単純化語に興味があります。

（（A OR B）AND（！B AND C）OR C）

そして、もしあれば、簡略化されたバージョンの式を教えてください。

私は他の同様の質問を見てきましたが、どれも優れた単純化を指すものではありません。

ありがとう。

入力に基づいて、この例のようにWolfram Alphaを試すことができます。

http://www.wolframalpha.com/input/?i=((A%20OR%20B)%20AND%20(NOT%20B%20AND%20C)%20OR%20C)&t=crmtb01&f=rc

試してみてくださいLogic Friday 1それは、カリフォルニアのUniverity（エスプレッソとmisII）からのツールが含まれており、GUIでそれらを使用可能になります。ブール方程式と真理値表を必要に応じて入力できます。また、グラフィカルなゲートダイアグラム入力および出力を備えています。

最小化は、2レベルまたはマルチレベルで実行できます。2レベルのフォームでは、製品の合計が最小化されます。マルチレベルフォームは、論理ゲートで構成される回路を作成します。ゲートの種類はユーザーが制限できます。

式はに簡略化されCます。

私は、ことがわかったブール式減速がロジック金曜日より使用する方がはるかに簡単です。さらに、それはインストールを必要とせず、マルチプラットフォーム（Java）です。

また、ロジックフライデーでは、式A | Bは真理値表で3つのエントリを返すだけです。期待していた4。