问答题
求公式的主析取范式,再用主合取范式求主析取范式:¬(r→p)∧p∧q。
问答题 求公式的主析取范式,再用主合取范式求主析取范式:(pq)→r。
问答题 求公式的主析取范式,再用主合取范式求主析取范式:(p∧q)→q。
问答题 求公式的主析取范式,再用主析取范式求主合取范式:(p→q)∧(q→r)。