填空题
公式¬（P∨Q）↔（P∧Q ）的主合取范式为（）。
（-P∨-Q）∧（P∨Q ）
填空题 元素数目不超过（）的格一定是链。
填空题 I 是整数集合，代数系统〈I ，×〉（×是通常乘法）的幺元是（），-1的逆元是（）。
填空题 当n 是（）值时，无向完全图K n是欧拉图。
