Trudne zadanie z tablicą prawdy i bramkami logicznymi

CR7777 · Post autor: **CR7777** » 15 lis 2009, 22:50

Witam
Mam problem z takim oto zadaniem (jeśli nie interesuje cię treść zadania to przejdź od razu do tablicy prawdy):
Na pewnym skrzyżowaniu krzyżują się droga z pierwszeństwem ze stronami A i B (patrz rysunek poniżej)oraz drugorzędna droga ze stronami C i D. Na każdej stronie znajduje sie czujnik ruchu który kontroluje obecność samochodów, dając "1" kiedy jest chociaż jeden samochód. Na skrzyżowaniu znajdują się dwa semafory (każdy po dwa światła, czerwone i zielone) semafor FAB dla stron A i B oraz semafor FCD dla stron C i D.
Semafor kontroluje ruch samochodów zgodnie z następującą logiką:
Na FCD jest zielone kiedy:
-pasy C i D są zajęte i przynajmniej jeden z pasów A i B jest wolny
-pas C lub pas D jest zajęty i pasy A i B są wolne
We wszystkich innych przypadkach na FCD jest czerwone. FAB pracuje zupełnie odwrotnie niż FCD.
Obrazek

POLECENIE:
Narysuj schemat z bramkami logicznymi który kontroluje semaforami zgodnie z powyższymi danymi. Rysunek ma cztery wejścia A B C D które oznaczają cztery czujniki ruchu oraz dwa wyjścia YAB YCD które oznaczają semafory i dają "1" kiedy na danym semaforze pali się światło zielone.

TABLICA PRAWDY[center]
Obrazek

I teraz trzeba narysować rysunek z bramkami logicznymi;/ Próbowałem już naprawdę wielu kombinacji ale zawsze coś musiało nie pasować. Oto moja kombinacja która jest chyba najbliższa sukcesu ale nie wychodzi mi to ostatnie kiedy na wejściu są cztery '"1" (wyjście powinno wynosić "10" a wychodzi "11") reszta kombinacji pasuje :
Obrazek

Jeśli rozwiązaliście to zadanie to piszcie...[/center]

c4r0 · Post autor: **c4r0** » 15 lis 2009, 23:36

Do takich zadań moje ulubione były multipleksery

Ale tutaj chyba musi być na bramkach (?)

CR7777 · Post autor: **CR7777** » 15 lis 2009, 23:54

Tak, tutaj musi być na bramkach

[ Dodano: 2009-11-16, 00:00 ]
Ale multiplexery też mogą być

c4r0 · Post autor: **c4r0** » 16 lis 2009, 11:10

No to musi być na bramkach czy mogą być multipleksery? Jak jest konkretnie w zadaniu to ujęte?

CR7777 · Post autor: **CR7777** » 16 lis 2009, 13:56

Tylko na bramkach

[ Dodano: 2009-11-16, 17:56 ]
Myślałem jeszcze nad takim rozwiązaniem by zrobić układ wyliczający tylko jeden z wyników (YAB lub YCD) i potem od tego wyniku pociągnąć jedną bramkę NOT i mamy drugi wynik, bo przecież drugi będzie zawsze odwrotny od pierwszego. Tu świeci zielone to tam czerwone i na odwrót, logiczne.

kayron · Post autor: **kayron** » 16 lis 2009, 18:17

Na bramkach też można zrobić multiplekser, więc raczej propozycja kolegi jest dobra. natomiast dobrze może z tej tabeli prawdy było by sobie zrobić tablice Karnafa, i na tej podstawie rozpisać wzory. Nie sądzę że będzie to koniecznie przerzutnik jak proponujesz.

c4r0 · Post autor: **c4r0** » 16 lis 2009, 18:50

Robienie multiplekserów z bramek jest wysoce nieekonomiczne w tym zadaniu i takie rozwiązanie pewnie nie będzie uznane. Powinno to być zrobione tak, żeby użytych było jak najmniej bramek.

CR7777 · Post autor: **CR7777** » 16 lis 2009, 18:52

Właśnie jeszcze tego w szkole nie robiliśmy, więc nie bardzo wiem jak tą tablice zrobić. Może znacie jakieś strony na których jest dokładnie wytłumaczone jak tworzyć Tablice Karnaugha.

adi-niunio · Post autor: **adi-niunio** » 16 lis 2009, 20:50

http://pl.wikipedia.org/wiki/Metoda_Karnaugh

Aro · Post autor: **Aro** » 16 lis 2009, 22:17

Jak już zrozumiesz jak tworzyć tablice Karnaugha to jeszcze mała podpowiedz: musisz zrobić dwie takie tablice, osobna dla wyjścia YAB i osobna dla YCD. Powstaną dwa osobne układy, gdzie łączysz ze sobą tylko wejścia i rozwiązanie gotowe

alaris · Post autor: **alaris** » 16 lis 2009, 22:47

http://karnaugh.shuriksoft.com/
I zycie staje sie proste...

CR7777 · Post autor: **CR7777** » 16 lis 2009, 23:10

No dobra mam tablice dla wyjść YAB i YCD i co dalej?

alaris · Post autor: **alaris** » 17 lis 2009, 1:09

Wyzej masz link do programu, ktory Ci ja zminimalizuje... Dostajesz funkcje boolowskie i zamieniasz je na bramki. Wydaje mi sie, ze ten program rowniez i to potrafi...

Alek · Post autor: **Alek** » 17 lis 2009, 10:52

Ta ostatnia propozycja jest wysoce szkodliwa ze względu na dydaktykę. Ja radzę minimalizować na "piechotę".

CR7777 · Post autor: **CR7777** » 17 lis 2009, 13:00

No więc wyszło mi tak:
YAB --> A*'D'+A*B+A*'C'+B*'D'+B*'C'+'C'*'D'
YCD--> 'A'*C*D+'B'*C*D+'A'*'B'*C+'A'*'B'*D

I teraz nie wiem jak to zminimalizować

[ Dodano: 2009-11-17, 13:16 ]
W tablicy K. dla YAB - 6 grup jedynek
w tablicy K. dla YCD - 4 grupy jedynek

Mniej już się chyba nie da ??