标签： first-order-logic conjunctive-normal-form
有一只熊。熊要么在洞穴里睡觉，要么在森林里狩猎。如果 熊饿了然后它不睡觉。如果熊累了，那就不会打猎。
问题 A
使用您的谓词和/或对象在FOPC中制作上面的故事。
尝试A
testProRelease
问题B
将您的FOPC转换为合并正常形式
尝试B
不确定如何转换到CNF，因为我无法完成A部分！