This is a (semantic) logic testing exercise. Work in groups.
We'll take advantage of the fact that the lectures are available on video.
As noted on Piazza, you should watch this week's lecture before class.
I'll give a very brief overview, and then we'll practice.
I'll post an example predicate,
and we'll work out the relevant
computations: determination, ACC, ICC.
We'll repeat the process with additional predicates.
Important!
Once you figure out what is going on, please turn your
new-found understanding to good use: Help your classmates
get to the same place!
Also important! The logic coverage tool on the book website
is a great resource for checking your work.