问答题
判断集合关于指定的运算是否构成半群、独异点的群：a是正实数，G={an|n∈Z}，运算是普通乘法。
问答题判断集合关于指定的运算是否构成半群、独异点的群：a是正实数，G={an|n∈Z}，运算是普通乘法。
用消解法判断公式p∧（p∨q）∧q是否是可满足的。
问答题用消解法判断公式p∧（ㄱp∨ㄱq）∧q是否是可满足的。
设A={0，1}，试给出半群＜AA，°＞的运算表，其中°为函数的复合运算。
问答题设A={0，1}，试给出半群＜AA，°＞的运算表，其中°为函数的复合运算。
