Conversion to CNF
Conversion to CNF. Everyone who loves all animals is loved by someone x [y Animal(y) Love(x,y)] y Love(y,x) x ¬[ y Animal(y) Love(x,y)] y Love(y,x) x y ¬[ Animal(y) Love(x,y)] y Love(y,x) x y[ ¬ Animal(y) ¬ Love(x,y)] y Love(y,x)
620 views • 2 slides