1) (15 points) For each of following predicates, answer questions (1) to (5)

1) (15 points) For each of following predicates, answer questions (1) to (5).

o Pan (bv c)

• P=a+b

• ?= (???)v (???)v (???)

1. List the clauses that go with predicate P.

2. Compute (and simply) the conditions under which each clause determines predicate P. i.e., solve for Pa, Pb,.....

3. Write the complete truth table for the predicate. Label your rows starting from 1. Use the format in the example underneath the definition of Combinatorial Coverage in Chapter 8.1.1 of the Ammann & Offutt textbook. 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 value of the predicate itself.

4. List all pairs of rows from your table that satisfy Correlated Active Clause Coverage (CACC) with respect to each clause. 5. List all pairs of rows from your table that satisfy Restricted Active Clause Coverage (RACC) with respect to each clause.