有一只熊。熊要么睡在它的洞穴里，要么在森林里打猎。如果熊饿了，它就不会睡觉。如果熊累了，它就不会打猎。
问题一
使用您的谓词和/或对象在 FOPC 中制定上面的故事。
尝试A
SleepsInCave(Bear) v HuntsInForest(Bear)
Hungry(Bear) -> ~SleepsInCave(Bear)
Tired(bear) -> ~HuntsInForest(Bear)
问题 B
将您的 FOPC 转换为合取范式
尝试 B
不知道如何转换为 CNF，因为我无法完成 A 部分！