Ключевая фраза: задача линейно-булева программирования