Izvorni znanstveni članak
QUINOVA METODA ZA ODREĐIVANJE MINIMALNE DISJUNKTIVNE FORME
Božidar Balog
; Faculty of Organization and Informatics, University of Zagreb, Varaždin, Croatia
Sažetak
U radu se obrađuje jedna metoda za određivanje minimalnih disjunktivnih formi (DF). Polazi se od kanonske disjunktivne normalne forme (KDNF) Booleove algebre koja se Quinovom metodom prevodi u minimalnu DF. Autor je najprije objasnio sve pojmove i teoreme pomoću kojih postavlja algoritam za minimizaciju. Nastojao je da taj postupak prikaže što preglednije i dosta je prostora posvetio samom objašnjenju postupka. U posljednjem primjeru autor je Quinovu metodu povezao s Veitchovom metodom kako bi pokazao da obje metode daju isti rezultat.
Ključne riječi
Hrčak ID:
80766
URI
Datum izdavanja:
14.12.1984.
Posjeta: 1.067 *