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