计算机题库
共 4474 题
全部来自 AI 原创生成并经逐题审校的题目，带 精品 标记的为 AI 复审通过。整卷生成请去组卷。
将谓词公式 ∀x∃y P(x,y) → ∃z∀w Q(z,w) 化为等价的前束范式（要求前缀中量词次序与化归过程自然得到的一致），则该前束范式为（ ）
A. ∃x∀y∃z∀w (P(x,y)→Q(z,w))
B. ∀x∃y∃z∀w (P(x,y)→Q(z,w))
C. ∃x∃y∀z∀w (P(x,y)→Q(z,w))
D. ∃x∀y∀z∃w (P(x,y)→Q(z,w))
登录后查看答案
题
选择题
计算机
幂集与笛卡尔积
★ 精品
详情 →
设 A、B 为有限集，且 P(A)×P(B)={(∅,∅),(∅,{h}),({g},∅),({g},{h})}。则 (A，B) 为（ ）
A. ({g},{h}) B. ({g,h},∅) C. (∅,{g,h}) D. ({h},{g})
登录后查看答案