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

pr: ab(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).

Explicitly list the true and false constraint sets for each node in the AST for the BOR part of the problem.

Remember to generate a test set TBOR-MI corresponding to the root node in the AST.