Мінімізація булевих функцій. Основні поняття