Damit dürfte der Artikel weitgehend bereinigt und optimiert sein, wenigstens bis auf den Abschnitt "Historisches"--Wilfried Neumaier 22:13, 29. Jun. 2010 (CEST). Auch in diesem Abschnitt habe ich inzwischen einiges verbessert und fundiert. In der UB Tübingen will ich noch den De-Morgan-Artikel nachschlagen und genauere Quellenangaben machen.-- Wilfried Neumaier 19:07, 1. Jul. 2010 (CEST)