Список проголосовавших за комментарий "facepalm, ваши рассуждения не правильны. Вы рассуждаете в рамках исходной задачи, а способ проверки состоит в том, чтобы изменив условия задачи на какие-то очевидные варианты проверить проверить формулу решения. Например:<br/> 1) Меняем условия что тест 100% достоверен. (Не то что старый тест не ошибся, а то что это другой абсолютно надежный тест). При таких условиях решение задачи будет очевидно: заражена 100% т.к. тесту можно доверять<br/> <br/> остальное аналогично"