Consider the predicate pr : (a+b)s) in Example 4.15. Confirm that any predicate obtained by inserting single or multiple Boolean operator and relational operator faults in pr will evaluate to a value...

Consider the predicate pr : (a+b)s) in Example 4.15. Confirm that any predicate obtained by inserting single or multiple Boolean operator and relational operator faults in pr will evaluate to a value different from that of pr on at least one of the four test cases derived in Example 4.15.