Use the constraint set SE derived in Example 4.18 to show that the following faulty versions of the predicate E = a(bc + bd) evaluate differently than E on at least one test case derived from SE. (i)...

Use the constraint set SE derived in Example 4.18 to show that the following faulty versions of the predicate E = a(bc + bd) evaluate differently than E on at least one test case derived from SE. (i) a(bc + bd) Missing NOT operator. (ii) a(bc + bd) Incorrect NOT operator. (iii) a + (bc + bd) Incorrect OR operator. (iv) a(bcbd) Incorrect AND operator. (iii) a + (bc + bd) Incorrect OR and NOT operators.