关于命题逻辑公式的下列说法正确的有：

关于命题逻辑公式的下列说法正确的有：
A.公式是满足一定排列组合规则的符号串
B.(p∧q)和(q∧p)是相同的公式
C.一个否定式的否定不再是否定式
D.公式的数量是无穷的，但每个公式的长度总是有穷的
正确答案：公式是满足一定排列组合规则的符号串；公式的数量是无穷的，但每个公式的长度总是有穷的