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