20 листопада, у Луцькому національному технічному університеті відбувся науково-практичний круглий стіл на тему «Спрощення булевих функцій методом образних перетворень» за участі кандидата технічних наук, доцента кафедри обчислювальної техніки Рівненського НУ водного господарства та природокористування Соломко Михайла та за сприяння кафедри комп’ютерної інженерії та безпеки ЛТНУ.
Учасників круглого столу привітав завідувач кафедри кафедри комп’ютерної інженерії та безпеки Терлецький Тарас.
Захід зібрав викладачів кафедр комп’ютерної інженерії та безпеки, інженерії програмного забезпечення та комп’ютерних наук. Присутні ознайомились з історією та принципом спрощення булевих функцій за допомогою методу образних перетворень.
Учасники круглого столу обговорили апаратну частину спрощення булевих функцій методом образних перетворень, вплив методу на збільшення продуктивності та зменшення складності процесу мінімізації булевих функцій (у тому числі й частково визначених) в основному та поліномному базисах, а також питання прикладного характеру розглянутого методу для забезпечення розвитку інноваційного процесу та трансферт нововведень у матеріальне виробництво: від прийняття рішень, проведення фундаментальних досліджень, розширення можливостей технології проєктування цифрових компонентів на основі булевих функцій в основному {˅, ˄, ¬} та поліномному {˄, ⊕, 1} базисах.
Це розширює технологію проектування арифметичних та логічних пристроїв для застосування їх у цифрових технологіях ІТ-галузі. Особливу цікавість у присутніх викликали можливості методу стосовно ручного спрощення багатозмінних булевих функцій.
