根树中最长路径的端点都是叶子。

任何循环群必定是阿贝尔群，反之亦真。

命题公式 (A∧( A→B))→B是一个矛盾式。

下列图中是欧拉图的有( ) 。

下列几个图是简单图的有( ) 。

下面四组数能构成无向图的度数列的有( ) 。

设T为根树，若________，则称T为m元树;若________则称T为完全m叉树。

含5个结点，4条边的无向连通图(不同构)有________个，它们是________________。

设Q(x):x为偶数，P(x):x为素数，则下列命题：(1)存在唯一偶素数;(2)至多有一个偶素数;分别形式化：(1)________________________________(2)________________________________。

任意两个不同小项的合取为 ，全体小项的析取式为________。