And–or tree