设有代数系统G=〈A，〉，其中A是所有命题公式的集合，为命题公式的合取运算，则G的幺元是（　　　）AB重言式C矛盾式D可满足式