问答题
构造下列命题公式的真值表，并求成真赋值和成假赋值
(p∨q)←→(q∨p)
问答题 设V=〈S，。〉是半群，，如果a，b都与c可交换，证明a。b也与c是可交换的。
问答题 p→(q∨r)求成真赋值和成假赋值
问答题 用主析取范式判断以下公式是否等值： （p→q）→r与q→（p→r）
