问答题

计算题

求出谓词公式的前束范式。

【参考答案】

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

单项选择题
任意两个不同极大项的析取式必为()。

A.永真公式
B.可满足公式
C.永假公式
D.等值公式

单项选择题
若无向图G是有99个结点,9个连通分量,则G中的边数必()

A.≤90
B.=90
C.≥90
D.=100
E.≥100

相关试题
  • 对任意集合A,B 和C,试证明A×(B∪C)=...
  • 求¬P∨(Q∧R)的合取范式与主合取范式。
  • 设图G=,V={v1,v2,v3,v4},E=...
  • 设关系R的关系图如下,试(1)写出R的关系...
  • 设个体域D={1,2,3,4},则谓词公...