设Q(x):x为偶数，P(x):x为素数，则下列命题：(1)存在唯一偶素数;(2)至多有一个偶素数;分别形式化：(1)________________________________(2)________________________________。
下面四组数能构成无向图的度数列的有()。
含5个结点，4条边的无向连通图(不同构)有________个，它们是________________。
求命题公式p∧q∨r的主合取范式与主析取范式。
无向图G有9个结点，每个结点的度数不是5就是6，求证：G中至少有5个6度结点或6个5度结点。
