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