私は、論理式（何かが好きAB'C + A'C）を表すコンソールプログラムを書いているので、式を単純化（最適化）してその値を評価できます。string式を表現するために使用しようとしましたが、この方法では、入力値に基づいて値を評価することしかできませんが、文字列として表される式を最適化することは非常に困難です (私と一緒に)、例ABC + ABは= = . を使用する別の方法も考えています。例は、次の図のように表されます。ABABC+ABAB(C+1)ABvector of vector of literalAB'C + AB + BC
説明：上記の例では、各列は各用語を表しています。最初の列は for を表しAB'C、2 番目の列は for を表しAB、3 番目の列は for を表しBC'ます。論理的な表現を提示する良い方法だと思いますが、この方法で抑圧された表現を最適化する方法はまだ見つかりません。私もグーグルで検索しましたが、問題のサンプルプロジェクトが見つかりませんでした。
要するに、誰かが論理式をより簡単に表現、評価、最適化する方法を提案してくれることを願っています。少し早いですがお礼を！