相关试题
填空题 设A为含3个命题变元的命题公式的主合取范式为M₂∧M₃∧M₄∧M₅∧M₇,则它的主析取范式为______________。
填空题 公式∀x (A(x)∧∃yB(y))→C(x) 中∃y的辖域是______。
填空题 P 命题真值取1,Q 命题真值取0,R 命题真值取1,则命题公式 (P→Q)∨R 的真值是______。
填空题 设A为含有命题变项p,q,r的命题公式,若A的主析取范式为m₀∨m₁∨m₅∨m₇,则A的主合取范式为______。
填空题 命题公式 ¬(P→Q) 的主合取范式中含极大项的个数为______。
填空题 设论域为整数集,命题∀x∃y (x+y=1) 的真值为______。
填空题 谓词公式 ∀x (F(x,y)→G(y))→∃z H(x,z)中量词∀x的辖域是____________。
填空题 P 命题真值取1,Q 命题真值取0,R 命题真值取0,则命题公式 (P∧¬Q)→¬R 的真值是______。