Isn't it actually the disjunctive normal form?