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

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

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