计算题 利用Fetmat小定理，求2¹⁰⁰⁰⁰模17的最小正剩余．

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

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

验证〈F，。〉是一个群。

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

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

问答题

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