问答题
设u是群G中任意固定元素，如下定义新的运算：证明：G关于运算构成群。
填空题 公式￢（p∨q）→q的成真赋值为（）。
填空题 公式（p∧q）→￢p的成真赋值为（）。
填空题 公式p∨￢q的成真赋值为（）。
证明：G关于运算构成群。
