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.