Ammann/Offutt (2nd Edition) Chapter 8, Exercises Section 8.1, page 196-197, Number 4. Instead of doing any of the predicates i-x, use the following predicate (written in Java):
p = (a == b) || cTreat the
==operator as logical equivalence.
Note that you can check your work with the online tool. Hence, there is no reason for any student to turn in an incorrect solution.
You should be prepared to carry out a similar exercise on a quiz or an exam (or both) without the aid of the tool.