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