Generalized AND/OR graphs