Original scientific paper
QUINOVA METODA ZA ODREĐIVANJE MINIMALNE DISJUNKTIVNE FORME
Božidar Balog
; Faculty of Organization and Informatics, University of Zagreb, Varaždin, Croatia
Abstract
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.
Keywords
Hrčak ID:
80766
URI
Publication date:
14.12.1984.
Visits: 1.067 *