Annettuna on SOP -muotoinen funktio F = B'C + CD + AB'D  

F = B'C + CD + AB'D   Kytkentäalgebran perusteella voidaan sanoa, että F'' = F. Tästä saadaan:
F'' = (B'C + CD + AB'D)''
F = (B'C + CD + AB'D)''

  Edelleen voidaan sieventää De Morganin avulla, koska (A + B + C + .. + K)' = A'B'C'..K'

F=((B'C)'(CD)'(AB'D)')'   Tämä lauseke voidaan toteuttaa pelkillä NAND -porteilla.

NAND -toteutus muokatulle lausekkeelle: F=((B'C)'(CD)'(AB'D)')'

Kannattaa huomata, että jos komplementit ilmaistaan viivalla, eikä pilkulla, näyttää lauseke tältä:

(Kyse on kuitenkin täsmälleen samasta funktiosta.)

Paluu 'JA-EI, TAI-EI -portit' -sivulle