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