You are here

Diszjunktív és konjuktív függvény algebrai egyszerűsítése

12 posts / 0 new
Last post
nyaki
nyaki picture

Üdv Mindenki!

Segítséget szeretnék kérni Tőletek!

Az alábbi feladatot kaptam unaloműzésre:
F3(D,C,B,A) = Σm11+m12+m13+m14+m15+(x)m5+m6+m7+m8+m9+m10
F3 = D*C\*B*A + D*C*B\*A\ + D*C*B\*A + D*C*B*A\ + D*C*B*A + (X-es tagok) D\*C*B\*A + D\*C*B*A\ +
D\*C*B*A + D*C\*B\*A\ + D*C\*B\*A + D*C\*B*A\ =
...és ugyanezekkel a változókkal, csak konjuktív formában.
F3(D,C,B,A) = ΠM11*M12*M13*M14*M15*(x)M5*M6*M7*M8*M9*M10

F2(D,C,B,A)= ΠM1*M2*M3*M4*M15*(x)M5*M6*M7*M8*M9*M10
F2 = (D\+C\+B\+A)(D\+C\+B+A\)(D\+C\+B+A)(D\+C+B\+A\)(D+C+B+A) *(X-es tagok) (D\+C+B\+A) *
(D\+C+B+A\)(D\+C+B+A)(D+C\+B\+A\)(D+C\+B\+A)(D+C\+B+A\) =
...és ugyanezekkel a változókkal, csak diszjunktív formában.
F2(D,C,B,A) = Σm1+m2+m3+m4+m15+(x)m5+m6+m7+m8+m9+m10

A fordított per jel az előtte lévő változót negálja.
KV táblán sikerült kihozni a minimál alakot, de sajnos akárhogyan erőlködök, algebrai módszerrel nem jön ki.
Egyébként ez egy Aiken-Stibitz kódátalakító részét képezi.
Ha valaki tudna ebben segíteni, azt megköszönném.

További kérdésem volna, hogy a TINA programban hogyan lehet a logikai kapuk számozását megváltoztatni úgy, hogy ha sorban egymás után rakosgatom, akkor a lábszámozást is változtassa a tokban lévő bekötés szerint?

Köszi

Comments
Kumi
Kumi picture

Az első példa:
Logikai függvény sorszámos diszjunktív alakban:
F4 = Σ4 (11,12,13,14,15, h: 5,6,7,8,9,10)
A VK minterm táblát ebből könnyű kitölteni.
A VK táblából látszik a függvény egyszerűsítése.
Teljes diszjunktív algebrai alakban felírva:
F4 = (D*C̅*B̅*A̅)+(D*C̅*B̅*A)+(D*C̅*B*A̅)+(D*C̅*B*A)+
        (D*C*B̅*A̅)+(D*C*B̅*A)+(D*C*B*A̅)+(D*C*B*A)
Algebrai egyszerűsítés:
F4 = D*((C̅*B̅*A̅)+(C̅*B̅*A)+(C̅*B*A̅)+(C̅*B*A)+(C*B̅*A̅)+(C*B̅*A)+(C*B*A̅)+(C*B*A))
F4 = D*((C̅*B̅)*(A̅+A)+(C̅*B)*(A̅+A)+(C*B̅)*(A̅+A)+(C*B)*(A̅+A))
A̅+A = 1
F4 = D*((C̅*B̅)+(C̅*B)+(C*B̅)+(C*B))
F4 = D*( C̅*(B̅+B)+C*(B̅+B)
B̅+B = 1
F4 = D*(C̅+C)
C̅+C = 1
F4 = D

Megjegyzés: A felső indexet a karakter után írja a bemásolás során.

0

nyaki
nyaki picture

Üdv!
Időközben nekem is sikerült a dolog, de sokkal hosszabb és felettébb bonyolultabb lett, mint a Tied. A Tied egyszerűen kurva jó logikát követ, bár nem értem, hogy miért hiányzik néhány term (m8, m9,m10) az eredetileg felírt függvényből, hiszen így már nem nevezhetjük teljesnek, ezért némi magyarázatot is várnék Tőled. ...vegyük alapul azt, hogy még nincs KV tábla sehol, csupán csak a függvény teljes diszjunktív normál alakja és csak az algebrai egyszerűsítésre hagyatkozhatunk.
Én úgy minimalizáltam, hogy balról jobbra haladva minden termnek megkerestem a vele összevonható párját úgy, hogy mindig csak egy tagban térjen el és a vele összevont termeket mindig csak a sorban következő termekből választottam ki. Az egyszerűsítés után kapott termekkel ismét ugyanezt csináltam. Amikor már nem tudtam tovább egyszerűsíteni, akkor a maradék termek felé írtam a minterm sorszámokat és ezen sorszámokból kapásból lehúztam az x-es tartozó tagokat, majd a maradék sorszámokat összevetve megnéztem, hogy melyikben vannak azonos, de nem x-es sorszámú változók és amelyikben maradt 1 helyi értékű változó, azt vettem végeredménynek. Tudom, hogy logikátlannak tűnik, de működik. Ennek ellenére várnám továbbra is a mások logikája által megoldott feladatokat, mert a jó pap is holtáig tanul, hát még én.
Köszi

0

Kumi
Kumi picture

Szia!
Kicsit egyszerűsítettem a levezetést, felírva a VK táblát.
A VK táblából látható, hogy mely termek értékét kell nullának választanom a levezetés végén.
A VK tábla használata nélkül a levezetésem minden sorához hozzá kell írni az általad hiányolt három termet.
Az utolsó sorból lehet majd kivenni, nullának választani ezt a három határozatlan termet.
Az általad használt algoritmust követi ez a megoldás is.
Üdv.: Kumi
 

0

nyaki
nyaki picture

Üdv!
...pedig már azt hittem, hogy rátaláltam egy egyszerűbb formára.
smiley
Nekem az a bajom ezzel, hogy kell hozzá a VK tábla és jelen helyzetben ez nem megengedett, ezért keresek egyéb módszert a minimalizálásra.
Köszi, hogy foglalkoztál vele.
 

0

Kumi
Kumi picture

Szia!
A második példában az utolsó előtti termben az A után kell a  \ jel, gondolom.
Mit értsek ez alatt: "...és ue. csak konjuktív formában."?
1. A term sorszámok maradnak, csak konjuktív sorszámos alakban értendő, illetve a másik példánál fordítva?
2. Vagy ugyanezen függvényt átírni konjuktív formába és abból felírni a legegyszerűbb algebrai alakot, illetve a másik példánál fordítva?
Az X-es tagok gondolom a határozatlan termek.
Üdv.: Kumi
 

0

Oszi11
Oszi11 picture

Szia!

Mi a különbség az egyenlőség jel előtt lévő két miinterm között? Az egyiknél az A bal oldalán van a \ a másiknál a jobb oldalán!

Üdv,
   Oszi

0

Jaca
Jaca picture
*****

D*C\*B*\A + D*C\*B*A\  ? ?
Az szerintem : D*C\*B\*A + D*C\*B*A\ ​, csak belehibázás lehetett a gépelésbe. Néha én is összeszavakat a keverem :)
 

0

Jaca
Jaca picture
*****

Szia!
https://www.gtportal.eu/szamitogepek/index.php?f0=2a_EgyszeruAlak_3

Ha jól értem a feladatot, algebrai úton kellene egyszerűsíteni? Valamikor nagyon ment, megpróbálom összekapni magam :)
 

0

nyaki
nyaki picture

Üdv!
Köszönöm az eddigi észrevételeket. Javítottam a hibákat a témában. Remélem, hogy így egyértelműbb lett.
Köszi

0

varga jano
varga jano picture
*****

Szia !
Bocsánat,hogy a csapos  közbeszól!Anno, PAL-ekkel valósította meg a tervező a problémát.Talán segít a retro irodalom (?)
jano

File csatolás: 

0

nyaki
nyaki picture

Üdv!
Ez már meg van.
Köszi

0

Sponsored links