WRITE THE FOLLOWING IN CNF (Conjunctive normal form) GIVEN THE ATOMS: ATOMS: p = Peggy is a knight q = Zippy is a knight r = Joe is a knight s Carl is a knight = t = Bozo is a knight You meet five inhabitants: Peggy, Zippy, Joe, Carl and Bozo. Peggy tells you that it's not the case that Joe is a knave. Zippy says that either Joe is a knight or Bozo is a knight. Joe says that it's not the case that Zippy is a knave. Carl says that Bozo is a knight and Joe is a knave. Bozo says, "Joe is a knave."