(Видавництво Львівської політехніки, 2017-03-28) Різник, В. В.; Соломко, М. Т.; Riznyk, V. V.; Solomko, M. T.; Національний університет “Львівська політехніка”; Lviv Polytechnic National University
Розглянуто нову процедуру алгебри логіки – суперсклеювання змінних, яка
здійснюється за наявності у структурі таблиці істинності повної бінарної комбінаторної
системи з повторенням або неповної бінарної комбінаторної системи з повторенням.
Ефективність алгебричної операції суперсклеювання змінних істотно спрощує алгоритм
мінімізації булевих функцій, що уможливлює мінімізацію функцій з кількістю змінних
до 10.
