Question: find reslution control setratgy (breadth first method ) 1-convert the sentense to predicate logic 2- convert the predicate logic to Cluses normal form (CNF) 3-find

find reslution control setratgy (breadth first method )
1-convert the sentense to predicate logic
2- convert the predicate logic to Cluses normal form (CNF)
3-find the reslution control setratgy (breadth first method )
NOTE # i will attach a solve question to know what i mean in my equstion and how to solve my question
so please solved like the secoand image  find reslution control setratgy (breadth first method ) 1-convert the sentense
to predicate logic 2- convert the predicate logic to Cluses normal formsolve it like this

C1. Noor likes all kinds of food. C2. Mango and chapati are food. C3. Noor eats almond and is still alive. C4. Anything eaten by anyone and is still alive is food. Brofing Cugseduatudx is Breate, tiren Slaver gration a) Guang Eurteb Leataic d Lind Rith Hatain A if Aiedu fact. (i) FrrCa findill |(2 H4} 14 c21= 140 Cia 4Lbe cinturel (i+1),1)

Step by Step Solution

There are 3 Steps involved in it

1 Expert Approved Answer
Step: 1 Unlock blur-text-image
Question Has Been Solved by an Expert!

Get step-by-step solutions from verified subject matter experts

Step: 2 Unlock
Step: 3 Unlock

Students Have Also Explored These Related Databases Questions!