[Cinf10] 2er-NAND Umformun

[Andreas Buschermöhle]

Hallo,

ich bin vorhin in der Fragestunde spontan nicht darauf gekommen, aber 
die Umformung von mehrfach-NAND auf 2er-NAND lässt sich nach dem 
folgenden Prinzip durchführen, wobei ()' die Negation des 
eingeklammerten Terms angibt:

(abc)' = ((ab)''c)' = (((ab)'(ab)')'c)'

Also die erste 2er-UND-Verknüpfung doppelt negieren, sodass daraus 
schonmal ein 2er-NAND wird und die zusätzliche Negation durch einen 
NAND-Verknüpfung des Terms mit sich selbst auflösen.

Grüße,
   Andreas Buschermöhle