公式¬（P∨Q）↔（P∧Q ）的主合取范式为（）。

元素数目不超过（）的格一定是链。

填空题元素数目不超过（）的格一定是链。

I 是整数集合，代数系统〈I ，×〉（×是通常乘法）的幺元是（），-1的逆元是（）。

填空题I 是整数集合，代数系统〈I ，×〉（×是通常乘法）的幺元是（），-1的逆元是（）。

当n 是（）值时，无向完全图K n是欧拉图。

填空题

当n 是（）值时，无向完全图K _n是欧拉图。