一个连通平面图中，有6个顶点和9条边，其平面表示中共有()个面。

设论域为整数集，命题公式∀x(x²≥x)的真值为(),命题公式∀x∃y(x²+y²=6)的真值为()。

一个n阶无向简单图G,它的边最多有()条。

一棵5阶无向树T,其非同构的树共有()棵。

设集合A={0,1,2,3,4,5},∀x,y∈A，x*y=(x+y)mod6,则群的单位元是(),任意非单位元的元素x的逆元是()。

一个n阶连通图G,则其关联矩阵的非零元素个数最少为()个。

设集合A={1,2},集合B={a,b,c,d,e},P(B)为B的幂集，则|A×B|=(),而|P(B)×A|=().

用真值表法判断命题公式((P→Q)⋀(Q→R))→(P→R)是重言式。

求命题公式(¬P⋁R)⋀(P⋁Q)⋀(¬Q⋁¬R)的主析取范式。

画出下列集合关于整除关系的哈斯图：{1,2,3,4,6,8}并判定该偏序集是否构成格。