1. Convert the following propositional formula into Conjunctive Normal Form and write it in the simplest formula:_(x1 A X2 A x3) V(x2 Ax3) V (x1 Ax4) 2- How many models does the following sentence has(show your work): (A^B) v ( BC) 3-Use resolution Algorithm to solve the following problem If KB is: -A, -BV-CVA, B, -DV-EVC, D, EVF then can we entail : F 4. For the following Wumpus world, give the sequence of actions that the player should make and calculate his final score (note that the player doesn't see the whole environment from the start, he conveys information from what he sense). 4 | breeze 1 pit 3 pit breeze | stench | breeze | gold | 2 wumpus | stench 1 I breeze Istench pit 1 + I start 13cench breeze => 2 CD 4