Tak hlavni pomucky budou:
- dvoji negace: !!x = x
- deMorganovy zakony: !x + !y = !(x * y) nebo opacne !x * !y = !(x + y)
- idempotence: x+x = x nebo x*x = x Tj. z NAND/NOR hradla vznikne spojenim vsech vstupu do jednoho hradlo NOT -> !(x*x) = !x
Tj, vsechny logicke soucty nahradis pomoci dvoji negace + DeMorganovych zakonu a pokud ti nekde zbyde AND, tak budes muset pouzit dvoji negaci. Neco ve stylu: !!(A + !B) = !(!A * !!B) = !(!A * B)
Ale z vejsky pamatuju, ze byl i nejaky jiny zpusob, ale uz si nepamatuju jak to presne bylo. Mel akorat problem se zpozdenim. A dale treba karnaughovy mapy s tim, ze se minimalni disjunktivni forma muze prekopat pomoci demorgana a dvoji negace na NAND
EDIT: jo jeste plati taky distributivita, akorat jde krom "roznasobeni" udelat i neco jako "rozplusovani" (lajcky receno - v desitkove soustave to nejde, ale ve dvojkove to funguje): x + yz => (x+y) * (x+z)