式が同音異義語であるかどうかを評価する

Question

式が同音異義語であるかどうかを調べるアルゴリズムを探していますか？私は真理値表（ブルートフォース）を使ってみましたが、これは私の場合は実現不可能です。

Answer 1

公式は、その否定が充足可能である場合にのみ、同値化されます。充足可能性はNP困難な問題ですが、ブルートフォースよりも優れているのはmany solversです。