In Section 7.2.9 we list a simple procedure to derive MC/DC adequate tests for condition C = C1 and C2 and C3 from MC/DC adequate tests for condition C = C1 and C2. Using this procedure as a guide,...

In Section 7.2.9 we list a simple procedure to derive MC/DC adequate tests for condition C = C1 and C2 and C3 from MC/DC adequate tests for condition C = C1 and C2. Using this procedure as a guide, construct another procedure to (a) derive MC/DC adequate tests for C = C1 or C2 or C3, given MC/DC adequate tests for C = C1 or C2 and (b) derive MC/DC adequate tests for C = C1 xor C2 xor C3, given MC/DC adequate tests for C = C1 xor C2.