9. (30 pts) Given the function F(a, b, c) = m(2, 5, 6) - ZA(1, 3, 4), use the Quine-McCluskey algorithm to determine the following: a) prime implicants, using the tabular minimization method; b) essential prime implicants, using prime implicant chart or constraint matrix; and c) minimum cover, using Petrick's Method. Aero stripped upper no forward assist