Інституційний репозитарій
Рівненського державного гуманітарного університету

DEVISING A METHOD OF FIGURATIVE TRANSFORMATIONS FOR MINIMIZING BOOLEAN FUNCTIONS IN THE IMPLICATIVE BASIS

Solomko M. та Batyshkina Iu. та Voitovych I. та Zubyk L. та Babych S. та Muzychuk K. (2020) DEVISING A METHOD OF FIGURATIVE TRANSFORMATIONS FOR MINIMIZING BOOLEAN FUNCTIONS IN THE IMPLICATIVE BASIS. Eastern-European Journal of Enterprise Technologies, 2020 (№6/4): 108. с. 32-47. ISSN 1729-3774

[img]
Перегляд
Текст
220094-Article Text-501299-2-10-20201230.pdf

Завантажити (412kB) | Перегляд

Анотація

This paper reports a study that has established the possibility of reducing computational complexity while improving the productivity of simplification of Boolean functions in the class of perfect implied normal forms (PINF-1 and PINF-2) using a method of figurative transformations.
The method of figurative transformations has been expanded to cover the process of simplifying the functions of the implicative basis by using the developed algebra of the implicative basis in the form of rules that simplify the PINF-1 and PINF-2 functions of the implicative basis. A special feature in simplifying the functions of the implicative basis on the binary structures of 2-(n, b)-designs) is the use of analogs of perfect disjunctive normal forms (PDNF) and perfect conjunctive normal forms (PCNF) of Boolean functions. The specified forms of the functions define transformation rules for the functions of the implicative basis on binary structures.
It is shown that the perfect implicative normal form of n-place function of the implicative basis can be represented by the binary sets or a matrix.
Logical operations over the structure of the matrix ensure the result from simplifying the functions of the implicative basis. This makes it possible to focus the minimization principle within the truth table of the assigned function and avoid auxiliary objects such as Carnot map, Weich charts, etc.
The method under consideration makes it possible:
– to reduce the algorithmic complexity of PINF-1 and PINF-2 simplification; – to improve the performance of simplifying the functions of the implied basis by 100–200 %;
– to visualize the process of PINF-1 or PINF-2 minimization.
There is reason to argue that minimizing the functions of the implicative basis using a method of figurative transformations brings the task of PINF-1 and PINF-2 minimization to the level of well-researched problems within the class of disjunctive-conjunctive normal forms of Boolean functions.

Тип елементу: Стаття
Додаткова інформація (бібліографічний опис): Devising a method of figurative transformations for minimizing boolean functions in the implicative basis / M.Solomko, Iu.Batyshkina, I.Voitovych, L.Zubyk, S.Babych, K.Muzychuk // Eastern-European Journal of Enterprise Technologies. - 2020. - №6/4(108). - P. 32-47. DOI: 10.15587/1729-4061.2020.220094
Ключові слова: method of figurative transformations, minimization of functions of the implicative basis, implication function, PINF-1, PINF-2
Тематика (за УДК): 0 Загальний відділ > 00 Загальні питання науки та культури > 004 Комп'ютерна наука та технологія. Застосування комп'ютера. Оброблення даних
6 Прикладні науки. Медицина. Техніка. Сільське господарство > 68 Галузі промисловості та ремесла, що виробляють готову продукцію > 681 Точна механіка та автоматика
Підрозділи: Факультет математики та інформатики > Кафедра цифрових технологій та методики навчання інформатики
Користувач, що депонує: Ірина Гаврилюк
Дата внесення: 26 Бер 2025 10:48
Останні зміни: 26 Бер 2025 10:50
URI: http://repository.rshu.edu.ua/id/eprint/17546

Необхідні дії (обов’язкова авторизація)

Перегляд елементу Перегляд елементу