Проведеними дослідженнями встановлено можливість збільшення продуктивності алгоритму мінімізації булевих функцій методом оптимального комбінування послідовності логічних операцій із використанням різних способів склеювання змінних - простого та супер-склеювання. Встановлено відповідність інтервалів <$E I( alpha ,~beta )> у булевому просторі <$E beta sup n>, які задаються парою булевих векторів <$E alpha> і <$E beta>, таких, що <$E alpha~symbol Г~beta> - з повною комбінаторною системою з повторенням 2-(n, b)-блок-схем (англ. 2-(n, b)-designs). Внутрішні компоненти інтервалу <$E I( alpha ,~beta )> відповідають повній системі 2-(n, b)-design, а зовнішні визначаються розрахунком кількості нулів або одиниць у стовпчиках таблиці істинності заданої логічної функції. Це надає можливість використовувати теорію інтервалів <$E I( alpha ,~beta )> у математичному апараті комбінаторних систем 2-(n, b)-design для проведення мінімізації булевих функцій методом рівносильних образних перетворень, зокрема здійснювати автоматизований пошук систем 2-(n, b)-design у структурі таблиці істинності. Експериментальними дослідженнями підтверджено, що комбінаторна система 2-(n, b)-design і послідовне чергування логічних операцій суперсклеювання змінних (якщо така операція можлива) та простого склеювання змінних у першій таблиці істинності підвищує ефективність процесу та достовірність результату мінімізації булевих функцій. У цьому випадку спрощується алгоритмізація пошуку системи 2-(n, b)-design у структурі таблиці істинності заданої логічної функції, що правитиме інструментарієм для подальшої автоматизації пошуку системи 2-(n, b)-design. У порівнянні з аналогами це надає змогу підвищити продуктивність процесу мінімізації булевих функцій на 100 - 200 % шляхом використання оптимального чергування операцій супер-склеювання та простого склеювання змінних методом рівносильних образних перетворень. Є підстави стверджувати про можливість збільшення продуктивності процесу мінімізації булевих функцій, шляхом оптимального комбінування послідовності логічних операцій супер-склеювання змінних і простого склеювання змінних, методом рівносильних образних перетворень.

 Наукова періодика України 

---

Додаткова інформація про автора(ів) публікації:
(cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці)

• Зубик Людмила Володимирівна (1966–) (педагогічні науки)
• Волошин Володимир Ульянович (технічні науки)

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"