单项选择题

本原问题所对应的节点称为（）

A.端节点
B.终叶节点
C.子节点
D.父节点

<上一题 目录 下一题>
热门 试题

单项选择题
对于谓词公式P，如果至少存在一个解释使得公式P在此解释下的真值为T，则称公式P是（）

A.永真的
B.永假的
C.可满足的
D.不可满足的
单项选择题
设P和Q是两个谓词公式，D是它们共同的个体域，若对于D上的任何一个解释P和Q都有相同的真值，则称P和Q在D上（）

A.永真
B.永假
C.不可满足
D.等价
相关试题