「生/死の2進数」と「毒入りワインの組み合わせ」を一対一で対応させないといけないわけだから、n本中m本が毒なら
ceiling(log[2](nCm))
かな?