共用题干题

令S={a，b}，S上有4个二元运算：*，o，●和□，分别由表确定。

求每个运算的单位元，零元及所有可逆元素的逆元

不构造真值表证明下列蕴涵式： ①P∧（P→Q）=>Q ②P→Q=>P→（P∧Q） ③（P→Q）→Q=>P∨Q ...

问答题

不构造真值表证明下列蕴涵式：
①P∧（P→Q）=>Q
②P→Q=>P→（P∧Q）
③（P→Q）→Q=>P∨Q
④（P→Q）∧（Q→R）=>（P→R）

证明形如8n-1的自然数一定不是两个自然数的平方和.

问答题证明形如8n-1的自然数一定不是两个自然数的平方和.

这4个运算中哪些运算满足交换律，结合律，幂等律

问答题这4个运算中哪些运算满足交换律，结合律，幂等律