问答题
求公式的主析取范式,再用主析取范式求主合取范式:(p→q)∧(q→r)。
问答题 求公式的主析取范式,再用主析取范式求主合取范式:(p∧q)∨r。
问答题 求公式的主合取范式,并求其成假赋值:(p→(p∨q))∨r。
问答题 求公式的主合取范式,并求其成假赋值:(p∧q)∨(¬p∨r)。