人工智能练习题，求解

1. 应用解析反驳来检查输入的句子是否包含知识库。写下决议的每一步。

KB

P ˅ Q

¬ P ˅ Q

P ˅ ¬ Q

Input Sentence

P ∧ Q

https://blog.csdn.net/obestboy/article/details/86604030