![]() |
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Разработан инструмент, упрощающий перебор случаев при доказательстве нижних оценок сложности схем методом забивания. С его использованием описана структура минимальных схем для линейной булевой функции в базисе {&,-}.