已知公式A含3个命题变项p,q,r,并且它的成真赋值为000,011,110,求A的主合取范式和主析取范式.
设公式A含命题变项p,q,r,又已知A的主合取范式为M0∧M2∧M3∧M5,则A的主析取范式为().
设B为含命题变项p,q,r的矛盾式,则公式B∧((pq)→r)的类型为().
设B为含命题变项p,q,r的矛盾式,则公式B∧((p q)→r)的类型为().
已知公式A含n个命题变项p1,p2,...,pn,并且无成假赋值,求A的主合取范式.
C.P→(Q→R)
分别用真值表法和等值算法求下面命题公式的主析取范式与主合取范式,判断各公式的类型,并写出其相应的成真赋值和成假赋值. (1)P®(Q®R). (2)(P®(Q∨R))∧(ØP∨(Q"R)).
已知公式(p∧q)→p是重言式,求公式((p∧q)→p)Ⅴr的成真赋值和成假赋值.
用主合取范式判断下列3个公式的类型,并对可满足式求成假赋值.(1)p→((p∧q)∨(p∧ㄱq));(2)(p∨q)→(q→p);(3)ㄱ(p→r)∧r∧q.
设p,q为命题变项,则(ㄱpq)的成真赋值为().
将公式p→(q→r)化成与之等值且仅含{ㄱ,∧}中联结词的公式.