若含n（n≥1）个命题变项的公式A是重言式，则A的主合取范式为（）。

证明：任何平面图（无环）都是6-可着色的。 点击查看答案

令F（x）：x是实数，G（x）：x是有理数，命题“实数不全是有理数。”的符号化形式为（）。 点击查看答案