An and–or tree is a graphical representation of the reduction of problems to conjunctions and disjunctions of subproblems. Wikipedia