compare - 2 つの論理式が等しいかどうかを比較する方法は?

Question

2 つの論理式があります (単なる例):

!(n >= x || n < -y)

と

n < x && n >= -y

これらの式を比較して、すべての値が論理的に等しいかどうかを確認するツールはありますか? それとも、最もコンパクトでシンプルなフォームを見つけるのを助けるためですか?

Answer 1

「最もコンパクト/シンプルな形式」の答えは、コンパクトさ/シンプルさの概念によって異なります。たとえば、連言標準形への変換（||の削除）とそれに続く否定の削除（！（n> y）を（n <= y）に置き換える）など、いくつかの簡略化手順を実行できます。

式FとGの等価性は、FとGの否定の論理積を取り、制約ソルバーなどを使用してF &&！Gの充足可能性をチェックすることでチェックできます。結果はドメイン（整数、有理数、実数）に依存するため、ドメインには注意する必要があります。2 <n && n <3は整数には充足できませんが、実数には充足可能です。