$1.$ Determine whether the following Pt$.$ formula is Satisfiable, Contradictory or Valid: $2($ps$4)25182.$ in the game tree below, it is Max's turn to move. Inside cach leaf node is the astimated score of that resulting position as returned by the heuristic static evaluator. Semester Perfora Mini$-$Max search and label each branch node with its value. Cross out each leaf node that would be pruned by alpha$-$beta pruning CES race M Student Name.... Student Signature... Distribution$-$ Question Full M Na $3.$ Suppose a genetic algorithm uses chromosomes of the form x abcdefgh with a $4$ fixed length of eight genes. Each gene can be any digit between $0$ and $9.$ Let the fitness of individual x be calculated as: fix$)($a$+$b$)($c$+$d$)($ef$)-($g$+$h$),$ and let the initial populat