( )下述命题公式中,不是重言式的为_________。
A. (p∧q)→(p∨q)
B. (p→(q→r))→((p→q)→(p→r))
C. ┐(p→q)∧q
D. (┐p∨q)∨(q→p)
查看答案
( )命题公式(┐p⋁q)∧(┐r→q)的主合取范式中含极大项的个数为______。
A. 2
B. 3
C. 5
D. 8
( )命题公式┐(p∧q)→r的主析取范式中含极小项的个数为______。
A. 2
B. 3
C. 5
D. 8
( )命题公式(┐P →Q)→(┐Q∨P)中极小项的个数为_______。
A. 0
B. 1
C. 2
D. 3
( )公式 ∀xF(x,y)→G(x,y) 中约束出现的是_________。
A. F(x,y)中的x
B. F(x,y)中的y
C. G(x,y)中的x
D. G(x,y)中的y