ТАУ 160124 (Мин/макс-термы и их ранг, Основная т. булевой алгебры, СКНФ/СДНФ, Минимизация ПФ: метод проб и ошибок, метод Квайна)