A New Method of the Logical Functions Minimization in the Polynomial Set-Theoretical Format. 3. Minimization of Function System

Abstract

A new minimization method of the logic functions system of n variables in polynomial set-theoretical format is considered. The method is based on the splitting procedure of minterms system and on the generalizing the conjuncterms set of the different ranks by the settheoretical simplifing rules. The advantages of the suggested method are illustrated by the examples.Розглянуто новий метод мінімізації системи логікових функцій від n змінних у поліноміальному теоретико-множинному форматі, що ґрунтується на процедурі розчеплення системних мінтермів та узагальнених теоретико-множинних правилах спрощення множин кон’юнктермів різних рангів. Переваги методу ілюструються прикладами.Рассмотрен новый метод минимизации системы логических функций от n переменных в полиномиальном теоретико-множественном формате, основанный на процедуре расцепления системных минтермов и обобщенных теоретико-множественных правилах упрощения множества конъюнктермов разных рангов. Преимущества метода иллюстрируются примерами.