求命题公式p∧q∨r的主合取范式与主析取范式。

无向图G有9个结点，每个结点的度数不是5就是6，求证：G中至少有5个6度结点或6个5度结点。

在代数系统(N，+)中，其单位元是0，仅有____有逆元。

图G为(n,m)图，G的生成树TG必有n个结点。

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