forms - 範囲述語を含む選言標準形

Question

範囲述語を含む任意の論理式を単純化された互いに素な正規形に変換できるライブラリ/アルゴリズムが必要です。

例: (x > 40) & ( (x > 50) | (y > 10)) -> (x > 50) | (x > 40) & (y > 10)

基本的に、できるだけ早く評価するために、そのような式を単純化したいのです。

誰でも私を助けることができますか？

Answer 1

Wolfram Alpha は式をうまく処理します。

ここを参照してください。

... Mathematica はすぐにこれを行うのに適していることを意味します. しかし、おそらく、このような比較的単純な問題にそれほど大きなプログラムを使用したくないでしょう。