单项选择题
A.基于信息检索的方法B.基于语义分析的方法C.基于知识推理的方法D.基于深度学习的方法
A.蕴涵运算中，若A为真，则当B为真时，A→B为真，B为假时，A→B为假B.蕴涵运算中，若A为假，则不论B为真或假，A→B都为真C.吸收运算中，A∨（A∧B）=A；A∧（A∨B）=BD.互补律中，A∧（¬A）=0；A∨（¬A）=1
A.状态B.算符C.算法D.状态空间方法