问答题 将命题符号化，并求命题的真值：蓝色和黄色都是常用的颜色。

问答题 将命题符号化，并求命题的真值：蓝色和黄色可以调配成绿色。

问答题 证明：已知a=b（modm），求证gcd（a，m）=gcd（b，m）。