$1.$ Use predicate below to answer the following questions.

p $=$ a $($b $$ c$)$

$$ Identify the clauses that go with predicate p$.$

$$ Compute $($and simplify$)$ the conditions under which each of the clauses determines predicate p$.$

$$ Write the complete truth table for all clauses. Label your rows starting from $1.$ Use the format in the example underneath the definition of combinatorial coverage in Section $3\mathrm{.}2.$ That is$,$ row $1$ should be all clauses true. You should include columns for the conditions under which each clause determines the predicate, and also a column for the predicate itself.

$$ Identify all pairs of rows from your table that satisfy general active clause coverage $($GACC$)$ with respect to each clause.

$$ Identify all pairs of rows from your table that satisfy correlated active clause coverage $($CACC$)$ with respect to each clause.

$$ Identify all pairs of rows from your table that satisfy restricted active clause coverage $($RACC$)$ with respect to each clause.