I will thumbs up if you answer all. please convert FOL to CNF Convert each of the following English statements into a single first-order logic sentence using the following constants and predicates. •Constants: Apples, Oranges, Chess, Go, John, Mary. •Predicates: oLikes(x,y): person x likes food y oPlays(x,y): person x plays game y a.If a personlikesApples, then they play chess. b.If a person likesOranges, then they play Go. c.A person likesApples or Oranges, but not both. d.John likes apples. e.Mary does not like anything that John likes.
I will thumbs up if you answer all. please convert FOL to CNF
Convert each of the following English statements into a single first-order logic sentence using the following constants and predicates.
•Constants: Apples, Oranges, Chess, Go, John, Mary.
•Predicates:
oLikes(x,y): person x likes food y
oPlays(x,y): person x plays game y
a.If a personlikesApples, then they play chess.
b.If a person likesOranges, then they play Go.
c.A person likesApples or Oranges, but not both.
d.John likes apples.
e.Mary does not like anything that John likes.
and then:
Convert each of the first-order logic sentences in Problem 2to conjunctive normal form (CNF). There is no need to show intermediate steps. Assign each clause number: C1, C2, etc.
Trending now
This is a popular solution!
Step by step
Solved in 2 steps
