问答题
设V=〈S，。〉是半群，，如果a，b都与c可交换，证明a。b也与c是可交换的。
问答题 p→(q∨r)求成真赋值和成假赋值
问答题 用主析取范式判断以下公式是否等值： （p→q）→r与q→（p→r）
问答题 〈S，ο〉中哪些元素有逆元？逆元是什么？
，如果a，b都与c可交换，证明a。b也与c是可交换的。