Eine Basis mit einem Element

Die Funktion NAND : (x, y) $ \mapsto$ ¬(x $ \wedge$ y) bildet eine Basis.

xyx $\displaystyle \wedge$ yNAND(x, y)
0001
0101
1001
1110

Beweis: wir können diese Funktionen darstellen: ...und mit dieser Basis auch alle anderen.



Johannes Waldmann 2007-06-04