Hallo,
in der zweiten Zeile haben wir einen Ausdruck der Form ¬(¬a^¬b).
Und das ist ja genau die Definition des NAND Gatters: Es dürfen nicht beide Ausdrücke in der Klammer (bzw. unsere beiden Eingänge ins Gatter) wahr sein (bzw Spannung liefern).
Das vorderste Negationszeichen (NOT) wird also weggelassen und anstatt des AND-Operators wird NAND gesetzt. Umgangssprachlich sozusagen "NOT + AND = NAND".
Auf die gleiche Art werden auch in den folgenden Schritten Gatter gesetzt.
Ich hoffe das beantwortet deine Frage.
Viele Grüße
Lukas (Tutor)