A New Method of the Logical Functions Minimization in the Polynomial Set-Theoretical Format. "Handshaking" Procedure

• Опубліковано в: : Control systems & computers
• Дата: 2021
• Автори: Rytsar, B.Ye., Belovolov, А.O.
• Формат: Стаття
• Мова: Англійська
• Опубліковано: Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України 2021
• Теми: Fundamental Problems in Computer Science
• Онлайн доступ: https://nasplib.isofts.kiev.ua/handle/123456789/181248
• Назва журналу: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Цитувати: A New Method of the Logical Functions Minimization in the Polynomial Set-Theoretical Format. "Handshaking" Procedure / B.Ye. Rytsar, А.O. Belovolov// Control systems & computers. — 2021. — № 1. — С. 3-14. — Бібліогр.: 41 назв. — англ.

A new minimization method of logic functions of n variables in polynomial set-theoretical format has been considered. The method based on the so-called “handshaking” procedure. This procedure reflects the iterative polynomial extension of two conjuncterms of different ranks, the Hamming distance between which can be arbitrary. The advantages of the suggested method are illustrated by the examples. Метою цієї статті (яка є продовженням опублікованих статей в УСиМ у 2015 (№ 2, 4 і 5)) є розробка такої процедури над двома кон’юнктермами довільних рангів, гемінґова відстань між якими може бути довільною, а утворені внаслідок цього перетворені кон’юнктерми матимуть порівняно нижчі ранги і можуть бути використані для подальшого спрощення заданої функції за правилами, описаними в доведених теоремах (УСиМ № 2 за 2015). Результати. На основі процедури «рукостискання» розроблено алгоритм та програму мінімізації логікових функцій у поліномному теоретико-множинному форматі. Проведені на бенчмарках експериментальні дослідження програми ілюструють ефективність нового методу мінімізації логікових функцій у поліномному теоретико-множинному форматі.