问答题 对所有R上的二元运算说明是否为可交换，可结合，幂等的。

问答题 验证〈F，。〉是一个群。

问答题 试证明下列等价式，并指出它们的对偶式： ①¬（P∧Q）→（¬P∨（¬P∨Q））⇔¬P∨Q ②（P∨Q）∧（¬P∧（¬P∧Q））⇔¬P∧Q ③（Q∨¬（¬P∨¬Q）∧P）⇔¬P∨Q