realizace funkce konkrétními hradly

[Milan Cizek]

Ahoj,
mohl by mi někdo ze znalých poradit stručně jak na to? Mám nějakou funkci,
např. XOR (y='A x B + A x 'B) a tu chci zrealizovat hradly. Pokud nejsem
omezen výběrem, tak nemám problém, postačí mi 2xNOT (invertor), 2xAND a
1xOR. Ale co když jsem zadáním omezen např. pouze na hradla NAND? Určitě je
na to nějaký fígl a postup.
Zkoušel jsem např. XOR zrealizovat tím co umím a pak jednotlivé (zakázané)
prvky eliminovat nahrazením (třeba invertor nahradím NAND), ale hradla
nabývají hodně rychle a k požadovanému výsledku se ani neblížím (jak třeba
nahradím OR NANDem...). Prostě mě nenapadá žádný adekvátní postup - jedině
matematicky tu funkci pozměnit/přepočítat abych dostal jen součiny a negace?

Děkuji
Milan