Beispiel.
Links oben kommt \(a\wedge \neg c\) raus, weil \(a\) und \(\neg c\) reingehen und das Schaltsymbol ein und ist.
Links in der Mitte kommt \(b\wedge c\) raus, weil \(b\) und \( c\) reingehen und das Schaltsymbol ein und ist.
Diese beiden gehen dann in das oder-Gatter und es kommt
\((a\wedge \neg c) \vee (b\wedge c)\)
raus. Am Ausgang des oder-Gatters wird noch mal invertiert, was
\(\neg((a\wedge \neg c) \vee (b\wedge c))\)
ergibt.