2. convert the following first-order logic sentences to conjunctive normal form (cnf). there is no need to show the intermediate steps. a. wumpus(2,3) b. x,y pit(x,y) c. t action(shoot,t)  a arrow(a,t) d. x,y,t1,t2 agent(x,y,t1)  orientation(right,t1)  action(turnleft,t1)  (agent(x,y,t2)  orientation(up,t2) )