Minimalizacja graficzna alternatywnych postaci normalnych funkcji logicznych

• Autorzy: Besler A.
• Języki publikacji: PL

Abstrakty

PL

W opracowaniu przedstawiono minimalizację graficzną funkcji boolowskiej metodą siatkowo-drzewiastą. Zastosowano kodowanie wierzchołków drzewa logicznego położonego na siatce. Korzystając z kodowania wierzchołków opisano algorytm minimalizacji graficznej funkcji boolowskiej, który umożliwia napisanie programu komputerowego.

EN

The elaboration presents the graphical minimization of the Boolean function with the network-dendritic method. The logical tree nodes placed on the network has been encoded. Nodes encoding let the Boolean function graphical minimization algoritm be described, which enabled to write a computer programme.

Słowa kluczowe

PL

funkcja boolowska; minimalizacja graficzna funkcji; metoda siatkowo-drzewiasta; program komputerowy

• Wydawca: Oficyna Wydawnicza Politechniki Opolskiej
• Czasopismo: Zeszyty Naukowe. Matematyka / Politechnika Opolska
• Rocznik: 2000
• Tom: z. 16
• Strony: 127--135
• Opis fizyczny: Bibliogr. 4 poz., wykr.

Twórcy

autor

Besler A.

• Zakład Matemetyki Politechniki Opolskiej

Bibliografia

• [1] BESLER A., Kodowanie wierzchołków dwu wartościowych drzew logicznych w metodzie siatkowo-drzewiastej dla komputerowego wspomagania procesu projektowania i zarządzania; XXVIII Konfer. Zastos. Matem. Zakopane 1999; Inst. Matem. PAN, Warszawa 1999.
• [2] PARTYKA M. A., Some remarks on the Quine-Mc Cluskey minimization algorithm of multiple-valued functions for design structures, Inter. Congr. Log. Method. Phil. Sc., Salzburg 1983, Austria.
• [3] PARTYKA M. A., BESLER A., Podobieństwa hierarchicznego położenia pięter w metodzie siatkowo-drzewiastej i algorytmie Quine’a-Mc Cluskeya minimalizacji indywidualnych funkcji boolowskich dla komputerowego wspomagania procesu projektowania i zarządzania; XXVIII Konfer. Zastos. Matem. PAN, Zakopane 1999; Inst. Matem. PAN, Warszawa 1999.
• [4] RABINOWICZ A. N., Sistiemy upraw, awtom. masz., Izdat. »Tehnika«, Kijów 1973.