History

for article: Disjunctive normal form