[单选题,6.6分] 设有代数系统G=〈A,*〉,其中A是所有命题公式的集合,*为命题公式的合取运算,则G的幺元是(  )
A.矛盾式
B.重言式
C.可满足
D.公式p∧q
出自:河南理工大学-计算机科学与技术-离散数学

完成拼图验证

按住下方滑块,将拼图拖到缺口处后松开。

拼图背景,将小拼图拖到缺口处
向右拖动滑块