History

for article: De Morgan's laws