设有代数系统G=〈A，*〉，其中A是所有命题公式的集合，*为命题公式的合取运算，则G的幺元是（　　　）

A:矛盾式
B:重言式
C:可满足
D:公式p∧q