Minimizacija bulove funkcije...

Na primer, ovo je izbor većinom glasova tri člana žirija:
~abc + a~bc + ab~c + abc
(disjunktivna forma)

Kako se sad minimizacijom dobilo ovo:
bc + ac + ab
(što je i zdravorazumski jasno)

http://tma.main.jp/logic/logic...mp;eq=~abc%2Ba~bc%2Bab~c%2Babc


bc(a+~a)+a(~bc+b~c) ... ?
(a+~a) = 1

Ne znam da li misliš na minimizaciju akrobacijama nad funkcijom ili na minimizaciju Karnoovim mapama.
Malo sam zarđao sa akrobacijama u vezi identiteta u Bulovoj algebri, ali ako je ta minimizacija rezultat Karnoove mape onda je to prilično jasan straight-forward rezultat "čitanja" Karnoove mape.

Mislio sam "akrobacijama nad funkcijom", valjda to mora biti u skladu sa Karnoovom mapom? Nemam pojma...

Pa sigurno je u skladu, samo je obično znatno zametnije ići tako preko akrobacija nego preko Karnoovih mapa (osim u trivijalnim slučajevima), pa se po izlasku iz škole akrobacije uglavnom zaborave ako se redovno ne koriste.

Ako te zanima kako ide sa Karnoovim mapama mogu ti pomoći, a ako ti trebaju isključivo akrobacije - mogu pogledati...


Evo dakle nekog mog ofrlje rješenja:

U orginalnu funkciju dodaj još dva puta + abc:

~abc + a~bc + ab~c + abc + abc + abc

Time se ništa ne mijenja u rezultatu funkcije (samo uvodiš dodatnu redudantnost): ako je abc = 0 onda dodavanje toga neće promjeniti rezultat funkcije, isto tako ako je abc = 1 onda ni dodavanje dodatnih "jedinica" neće ništa promjeniti.

Sada kombinuj svaki član koji u sebi ima komplement sa jednim abc članom:

~abc + a~bc + ab~c + abc + abc + abc =
~abc + abc + a~bc + abc + ab~c + abc =
bc(~a + a) + ac(~b + b) + ab(~c + c)

Ono u zagradama su "jedinice", tako da preostaje bc + ac + ab.

Vjerovatno se do istog može doći i nekim "školskijim" putem (de Morganove formule, razni drugi identiteti...) ali meni je ovo prvo palo na pamet.