==>x(y～P(x,y)∨z(Q(x,z)∧～R(x,z)))......y=f(x),z=g(x)消去存在量词y,z
==>x(～P(x,f(x))∨(Q(x,g(x))∧～R(x,g(x))))
==>x((～P(x,f(x))∨(Q(x,g(x))∧(～P(x,f(x))∨～R(x,g(x))))
从而谓词公式的子句集是
｛～P(x,f(x))∨(Q(x,g(x)，～P(x,f(x))∨～R(x,g(x)))
5、某企业欲招聘一个JAVA程序员，定义如下产生式规则(要求)：
r1: IF有工作经验 or (本科以上学历 and 有相关知识背景 then 录用（0.9)
r2:IF 工作两年以上 and 作过相关工作 then 有工作经验 （0.8）
r3:IF 学过数据结构 and 学过JAVA and 学过数据库 and 学过软件工程 then 有相关知识背景(0.9)
r4:学过数据结构（相关课程的成绩/100 ） r5:学过JAVA（相关课程的成绩/100 ） r6:学过数据库（相关课程的成绩/100 ） r7:学过软件工程（相关课程的成绩/100 ） r8:做过相关工作：
JAVA程序员：1，项目经理：1，数据库开发工程师：0.9，数据库管理员：0.7,网络管理员：0.6，客服人员：0.4 设有一本科毕业生甲，其相关课程的成绩为数据结构=85,JAVA=80,数据库=40,软件工程=90 另有一社会招聘人员乙，参加工作三年，曾做过数据库管理员和数据库开发人员
根据确定性理论，问该公司应该招聘谁？如果你是该本科生，为了能在招聘中胜出，你应该加强哪门课程，并使该门课程的成绩至少达到多少？（15分） 解：（1）对于本科毕业生，由r4，r5，r6，r7： CF（学过数据结构）=0.6 CF（学过JAVA）=0.8 CF（学过数据库）=0.4 CF（学过软件工程）=0.9 由r3，
CF（有相关知识背景）=0.9*min{0.85,0.8,0.4,0.9}=0.36 CF（本科学历）=1 由r1，
CF（录用）=0.9*min{0.36，1}=0.324 （2）对于社会招聘人员，由r8， CF（相关工作）=0.9 CF（工作两年以上）=1 由r2，
CF（有工作经验）=0.8*min{1，0.9}=0.72 由r1，
CF（录用）=0.9*0.72=0.648
所以，该公司应录用社会招聘人员乙。
（3）可以看出，应该加强数据库的学习，并使该门课程达到80分以上。