设p，r为真命题，q，s为假命题，则复合命题（p→q）<->（ㄱr→s）的真值为（）。

设V=是半群，abc∈S，如果a，b都与c交换，证明aob也是c是可交换的。

问答题设V=是半群，∀abc∈S，如果a，b都与c交换，证明aob也是c是可交换的。

设A，B，C为集合，证明A∩（B-C）=（A-C）∩（B-C）

问答题设A，B，C为集合，证明A∩（B-C）=（A-C）∩（B-C）

公式（p∧q）∨（p∧q）的成真赋值为（）。

填空题公式（p∧ㄱq）∨（ㄱp∧q）的成真赋值为（）。