How to convert this first order sentence into conjunctive normal form?
This is one of my homework, but it seems to be so complicated that I
really do not know where to start :(
∃x∀y∀z(person(x)∧((likes(x,y)∧y≠z)→¬likes(x,z)))
Any help is appreciated!
No comments:
Post a Comment