c# - ブール式を CNF または DNF に変換する方法

Question

ブール式 a または (b and c) があるとします。

私はそれをCNF、すなわち（aとb）または（aとc）に変換したいと思います

これを達成できる既存のライブラリはありますか?

Answer 1

自分で実装したい場合は、Linq Expressions の数式で遊ぶ方法の例を次に示します。このサンプル プログラムは数式を派生させて単純化します。これは、まさにあなたがやりたいことではありませんが、役に立つには十分に近いものです。

PS .: 論理を正しく覚えていれば、開始式を指定して、CNF または DNF のいずれかで同じ式を表現する方法が複数あります。常に一貫しているものを得るために、何らかの方法で正規化することをお勧めします。