问答题
用等值演算法求公式的主析取范式或主合取范式:((p∨q)∨(p→q))(q→p)的主析取范式再由主析取范式求出...
问答题用等值演算法求公式的主析取范式或主合取范式:((p∨q)∨(p→q))↔(q→p)的主析取范式再由主析取范式求出主合取范式。
用等值演算法求公式的主析取范式或主合取范式:¬(¬(p→q))∨(¬q→¬p)的主合取范式。
问答题用等值演算法求公式的主析取范式或主合取范式:¬(¬(p→q))∨(¬q→¬p)的主合取范式。
用等值演算法求公式的主析取范式或主合取范式:p→((q∧r)∧(p∨(¬q∧¬r)))的主析取范式。
问答题用等值演算法求公式的主析取范式或主合取范式:p→((q∧r)∧(p∨(¬q∧¬r)))的主析取范式。