Metoda minimalizacji systemów k-znacznych częściowych funkcji logicznych

• Autorzy: Nowikow S.

Warianty tytułu

EN

Minimization of Systems К-Valued Logical Functions

• Języki publikacji: PL

Abstrakty

EN

This paper presents method of minimization for caseS >1, К >3, d< K". The difficulty of gettind solution for the new method depends from d in first turn. The method is based on the new definitions of prime implicant, complete system of impllcants, system-interval and special operations for K-space in order to generate system-intervals which covers range of definition of F ={f1, f2,...,fs} give possibility to construct analytical record F as set of formulas for basis Rosser and Turquette and basis {Max, Min, x+1(mod K)}.

Słowa kluczowe

PL

funkcja częściowa logiki wieloznacznej; FCLW; minimalizacja FCLW

• Wydawca: Wydawnictwo Uniwersytetu Przyrodniczo-Humanistycznego w Siedlcach
• Czasopismo: Studia Informatica : systems and information technology
• Rocznik: 2004
• Tom: Vol. 2(4)
• Strony: 157--164
• Opis fizyczny: Bibliogr. 8 poz.

Twórcy

autor

Nowikow S.

• Instytut Informatyki Akademii Podlaskiej, Siedlce

Bibliografia

• 1. Rosser S. В., 1952: Turquette A.R. Many-valued logic. Amsterdam.
• 2. Muroga C. A., 1971: Minimization method for 3-valued logic functions. Theory Mach. And Comput. New York-London.
• 3. Капитонова Ю.В., Мищенко A.T., Яременко В.В., 1975: О формальном синтезе автоматов из многоустойчивых елементов. Кибернетика, № 2.
• 4. Маркова В.П., 1982: Спектральный метод синтеза К-значных программируемых матриц. Автоматика и вычислительная техника, 5, с. 23-29.
• 5. Новиков С.В., 1983: Минимизация частичных функций многозначной логики. Сб. „Многозначные элементы, структуры, системы”. Киев, Наукова думка, с. 12-15.
• 6. Закревский А.Д., 1975: Синтез асинхронных автоматов на ЭВМ. Минск, Наука и техника.
• 7. Закревский А.Д., 1981: Логический синтез каскадных схем. Москва, Наука.
• 8. Sergej Novikov, 2003: Minimization of Systems К-Valued Logical Functions. Book of Abstracts X Polish-Czech Mathematical School. Institute of Mathematics and Computer Science. Częstochowa, WSP, s. 30.