続ける
論理式から、真理値表を生成します。
真理値表から、主加法標準形、主乗法標準形、Quine-McCluskey法による最簡形の3種類の論理式を生成します。
2つの論理式を真理値表で比較し同値であるかを判定します。