乗法標準形

この論理式を乗法標準形に変換して、計算を簡略化する。

命題論理において、任意の論理式は乗法標準形で表すことができる。

乗法標準形は、SATソルバへの入力形式として一般的である。