Допустим, у нас есть всего 2 мыши и 4 бутылки, среди которых одна отравлена.
Проверку можно организовать следующим образом:
из 1-й бутылки не пьет ни одна мышь,
из 2-й бутылки пьет первая мышь,
из 3-й – вторая,
из 4-й – пьют обе.
Соответственно, имеем 4 возможных состояния «системы»:
обе мыши живы – яд в бутылке 1, мертва первая мышь – яд в бутылке 2, мертва вторая мышь – яд в бутылке 3, мертвы обе мыши – яд в бутылке 4.