Consider the predicate p2 : (a+b)s) in Example 4.14. Confirm that any predicate obtained by inserting a Boolean operator fault in p2 will evaluate to a value different from that of p2 on at least one...

Consider the predicate p2 : (a+b)s) in Example 4.14. Confirm that any predicate obtained by inserting a Boolean operator fault in p2 will evaluate to a value different from that of p2 on at least one of the five test cases derived in Example 4.14.