Use the BOR-MI-CSET procedure to derive the constraint set and the test set TBOR-MI for the following predicate:

pr: (a + b)(c + !cd) where a, b, c, d are Boolean variables.

Show all the steps in generating TBOR-MI. Draw the abstract syntax tree (AST) and label the nodes N1 to Nm (for the BOR part of the problem). Remember to generate a test set TBOR-MI corresponding to the root node in the AST.