Dotcpp / 试卷列表 / 人工智能 / 题目 7830

对于谓词公式(▽x){ ～P(x) ∨ [P(x)∧Q

对于谓词公式(▽x){ ～P(x) ∨ [P(x)∧Q(x, g(x))]，经过把母式化为合取范式后，得到（）

A. (▽x){ ～P(x) ∨ [P(x)∧Q(x, g(x))]

B. { ～P(x) ∨ [P(x)∧Q(x, g(x))]

C. (▽x) [(～P(x) ∨P(x))∧(～P(x) ∨Q(x, g(x)))]

D. (▽x) [(～P(x) ∧P(x))∨(～P(x) ∧Q(x, g(x)))]

答案

题目信息

题号：7830

题型：单选题

知识点：人工智能

难度：普通

去题库练习