Uma sequência de chaves lógicas (A, B, C, D, E) funciona de modo condicional: cada chave pode estar aberta ou fechada, não havendo terceiro estado possível. As regras de funcionamento das chaves determinam que:
• se a chave A está aberta, então a chave B está aberta;• se a chave B está aberta, então a chave C está aberta;• se a chave B está aberta, então a chave D está aberta;• se a chave C ou a chave D estão abertas, então a chave E está aberta.
Na busca por um sistema de diagnóstico que determine, por meio do menor número de observações possível, o estado das cinco chaves, observou-se que, atualmente, a chave E está fechada.
