简答题 判断下列子句集中哪些是不可满足的：{¬P∨Q，¬Q，P，¬P}。

下列谓词公式化成子句集是（）。z))

填空题

下列谓词公式化成子句集是（）。
z))

用语义网络表示知识“鸵鸟是一种鸟”（）。

填空题用语义网络表示知识“鸵鸟是一种鸟”（）。

用产生式表示知识“雪是白的”（）。

填空题用产生式表示知识“雪是白的”（）。