Харківський національний університет Повітряних Сил імені Івана Кожедуба

Анотация: Розглянуто алгоритми стиску області визначення логічних функцій, представлених у картах типу Вейча, Карно. Проведено аналіз алгоритмів при стиску області визначення по одній, двох і трьох змінних, що дозволило зменшити розмірність карти відповідно в два, чотири, вісім разів. Алгоритми доведені до інженерної методики.