问答题
用主析取范式判断公式是否等值:¬(p∧q)与¬(p∨q)。
问答题用主析取范式判断公式是否等值:¬(p∧q)与¬(p∨q)。
用主析取范式判断公式是否等值:(p→q)与q→(p→r)。
问答题用主析取范式判断公式是否等值:(p→q)与q→(p→r)。
用真值表求公式的主析取范式和主合取范式:¬(q→¬p)∧¬p。
问答题用真值表求公式的主析取范式和主合取范式:¬(q→¬p)∧¬p。