p1 = a∧b
p2 = a⊕b
p3 = a∧(¬b∨c)
p4 = a→(b→c)
p5 = (a∧b)∨(b∧c)∨(a∧c)
Write the complete truth table for each predicate.
(A) List all pairs of rows from your table that satisfy General
Active Clause Coverage (GACC) with respect to each clause.
(B) List all pairs of rows from your table that satisfy
Correlated Active Clause Coverage (CACC) with respect to each
clause.
(C) List all pairs of rows from your table that satisfy
Restricted Active Clause Coverage (RACC) with respect to each
clause.
p1 = a∧b p2 = a⊕b p3 = a∧(¬b∨c) p4 = a→(b→c) p5 = (a∧b)∨(b∧c)∨(a∧c) Write the complete truth table for each predicate. (
-
- Site Admin
- Posts: 899603
- Joined: Mon Aug 02, 2021 8:13 am