Use the DPLL algorithm to answer questions. For each question/expression, apply the DPLL algorithm and write down the answer. For each step, give the name of all operations and heuristics of the algorithm that are applied. When you have to choose, always choose variables in ascending alphabetical order. a) (3 Points) Is (Vb)^(-V-b) (a Vb) (cVd)^(-V d) satisfiable? b) (3 Points) Is (Vc)^(-Ve) (CVb) (CV-e)(-CV-e) Ac satisfiable? c) (5 Points) Does (-av-b) A (a vb) imply a Vb