¬Q，P →Q，P∨R 的有效结论是（）。

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

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

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

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

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

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