Question 2 (Logic Coverage): Consider the following predicate: P = a b (a) Compute (and simplify) the conditions under which each of the clauses a and b determines predicate p. In other words, compute Pa and Pb. (b) Write the complete truth table for all clauses. Use the following format and include columns for the conditions under which each clause determines the predicate, and also a column for the predicate itself.

Question 2 (Logic Coverage): Consider the following predicate: P=ab (a) Compute (and simplify) the conditions under which each of the clauses a and b determines predicate p. In other words, compute Pa and Pb. (b) Write the complete truth table for all clauses. Use the following format and include columns for the conditions under which each clause determines the predicate, and also a column for the predicate itself. (c) Identify all pairs of rows from the table that satisfy the General Active Clause Coverage (GACC) criteria with respect to each clause. (d) Identify all pairs of rows from your table that satisfy Correlated Active Clause Coverage (CACC) with respect to each clause. (e) Identify all pairs of rows from your table that satisfy Restricted Active Clause Coverage (RACC) with respect to each clause