РЕФЕРАТИВНА БАЗА ДАНИХ "УКРАЇНІКА НАУКОВА"
Abstract database «Ukrainica Scientific»


Бази даних


Реферативна база даних - результати пошуку


Вид пошуку
Пошуковий запит: (<.>ID=REF-0000843848<.>)
Загальна кількість знайдених документів : 1

Solomko M. 
Implementing the method of figurative transformations to minimize partially defined Boolean functions = Впровадження методу образних перетворень для мінімізації частково визначених булевих функцій / M. Solomko, M. Antoniuk, I. Voitovych, Yu. Ulianovska, N. Pavlova, V. Biletskyi // Eastern-Europ. J. of Enterprise Technologies. - 2023. - № 1/4. - С. 6-25. - Бібліогр.: 28 назв. - англ.

This paper reports a research that established the possibility of increasing the effectiveness of the method of figurative transformations to minimize partially defined Boolean functions. The method makes it possible, without loss of functionality, to reduce the complexity of the minimization procedure, compared to sorting out binary definitions of partially defined Boolean functions. The interpretation of the result is that the 2-(n, b)-design, 2-(n, x/b)-design systems are a reflection of logical operations. Therefore, the identification of such combinatorial systems in the truth table of logical functions directly and unambiguously establishes the location of logical operations for equivalent transformations of Boolean expressions. This, in turn, implicates an algorithm for simplifying Boolean functions, including partially defined Boolean functions. Thus, the method of figurative transformations simplifies and speeds up the procedure for minimizing partially defined Boolean functions, compared to analogs. This indicates that the visual-matrix form of the analytical method still has the prospect of increasing its hardware capabilities, including in terms of minimizing partially defined Boolean functions. It has been experimentally confirmed that the method of figurative transformations increases the efficiency of minimizing partially defined Boolean functions, compared with analogs, by 100 - 200 %. There is reason to argue about the possibility of increasing the efficiency of minimizing partially defined Boolean functions in the main and polynomial bases by the specified method. The effectiveness of the method, in particular, is ensured by carrying out all operations of generalized gluing of variables for dead-end disjunctive normal forms (DNF), followed by the use of implicant tables; optimal combination of a sequence of logical operations for gluing variables.


Індекс рубрикатора НБУВ: А6

Рубрики:

Шифр НБУВ: Ж24320 Пошук видання у каталогах НБУВ 
Повний текст  Наукова періодика України 
Додаткова інформація про автора(ів) публікації:
(cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці)
  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
 
Національна бібліотека України імені В. І. Вернадського
Відділ наукового формування національних реферативних ресурсів
Інститут проблем реєстрації інформації НАН України

Всі права захищені © Національна бібліотека України імені В. І. Вернадського