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

问答题求出谓词公式的前束范式。

1.单项选择题任意两个不同极大项的析取式必为（）。

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

2.单项选择题若无向图G是有99个结点，9个连通分量，则G中的边数必（）

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

3.单项选择题从无向完全图K₅中至少删除（）条边后，所得的图将成为平面图。

A.0
B.1
C.2
D.3

4.单项选择题设G=（a）为12阶循环群，则G没有（）阶子群。

A.1
B.2
C.3
D.4
E.5
F.6

5.单项选择题设集合A={{0}}，则P（A）=（）。

A.P（P（{0}））
B.P（{0}）∪∅
C.P（{0}）∪{{0}}
D.{∅，{{0}}}

6.单项选择题设有集合A={1，2，3，4}，则从A到{0，1}的不同的函数有（）个。

A.0
B.1
C.4
D.12
E.16
F.24
G.32

7.单项选择题设＜G，*＞是群，若G中除幺元以外，每个元素的周期都是2，则下列叙述中不正确的是（）。

A.对∀a∈G，必有a*a=a
B.对∀a，x，y∈G，若a*x=a*y，必有x=y
C.对∀a∈G，必有a^-1=a
D.对∀a，b∈G，必有a*b=b*a

8.单项选择题群< {0，1，2，3}，⊕>，其中，⊕为模4加法，该群有（）个子群。

A.3
B.5
C.4
D.6

9.单项选择题设＜S，*＞是半群，对∀a，b∈S，若a≠b，就有a*b≠b*a，则下列叙述中不正确的是（）。

A.对∀a，b，c∈S，必有a*b*c=a*c
B.对∀a，x，y∈S，若a*x=a*y，必有x=y
C.对∀a，b∈S，必有a*b*a=a
D.对∀a∈S，必有a*a=a

10.单项选择题设P为正整数集合，∀x，y∈P，定义运算：x *y =max（x，y），则＜P，*＞一定不是（）。

A.群
B.独异点
C.半群
D.代数系统