Question

用等值演算法求公式 (p∨q)→(p^r) 的主合取范式并求成假赋值

Answer 1

问：用等值演算法求公式 (p∨q)→(p^r) 的主合取范式并求成假赋值

答：您好，我正在帮您查询相关的信息，马上回复您。

答：用等值演算法求公式 (p∨q)→(p^r) 的主合取范式并求成假赋值p→(q∧r) ⇔ ¬p V (q ∧ r) 主析取范式。⇔ (¬p V q) ∧ (¬p V r) 主合取范式。其中“-”是非。P∧Q就是这个公式的主析取范式，因为这个就是最小项m3，所以根据范式互补，它的主合取范式就是M0∧M1∧M2。