Como eu ja disse, achei 23: 1. Teste ABC, se nao funcionar sabemos que pelo menos uma entre A, B e C nao funciona. 2. Teste as combinacoes entre DEFGH (DEF,DEG,DEH,DFG,DFH,DGH,EFG,EFH,EGH,FGH), se nenhuma funcionar temos que tres entre DEFGH nao funcionam, portando duas entre ABC e duas entre DEFGH funcionam. 3. Sabemos que AB, AC ou BC sao formadas por duas que funcionam e que pelo menos uma entre D,E,F,G funciona, bastam entao mais 12 testes totalizando 23.
PS:Ainda tem mais outros dois algoritmos um pouco mais complicados que eu fiz e que tambem chegam em 23. Quem da menos?