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.