Questão de Tecnologia da Informação

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.