[Układy cyfrowe] Bramki logiczne - sprawdzenie rozwiązania

[acmilan]

Poniższy rysunek przedstawia układ cyfrowy zbudowany z dwóch buforów trójstanowych. Narysuj układ pełniący równoważną funkcję logiczną, ale zbudowany tylko z bramek NAND lub NOT.

Link do rysunku:

Kod: Zaznacz cały

http://wstaw.org/w/1lx6/

Proszę o sprawdzenie rozwiązania:

Kod: Zaznacz cały

http://wstaw.org/w/1lxm/

Czy jest na to jakaś ogólna metoda (rozwiązywałem to na logikę, że jak a=0 to przepuszcza sygnał \(\displaystyle{ x_{0}}\), a jak a=1, to sygnał \(\displaystyle{ x_{1}}\))?

[miki999]

Tak na pierwszy rzut oka jest ok, chociaż dla sprawdzenia warto zrobić tabelkę.
Czy istnieje ogólna metoda? Pewnie jest, jednak na ogół "na logikę" idzie znacznie szybciej.

Można stosować tabele Karnaugha w celu wyznaczania postaci minimalnych, wtedy masz postać wyrażenia z AND i OR + negacje, co daje się w jakiś sposób zamienić na oczekiwaną postać. Problem w tym, że będzie to o wiele dłuższe rozwiązanie.