Questão de Raciocínio Lógico

A Tabela 2 abaixo aplica a abordagem de tabela-verdade do critério de cobertura MC/DC (Modified Condition/Decision Coverage) à decisão booleana Z := (A e B) ou (C ou D). As quatro primeiras colunas são os valores de entrada; a coluna Z é o resultado da decisão; as quatro colunas sombreadas à direita (também rotuladas A, B, C, D) indicam, para cada teste, o número do teste que, junto com ele, forma um par de independência para aquela condição. Teste A B C D 1 F F F F 2 F F F T 3 F F T F 4 F F T T 5 F T F F 6 F T F T 7 F T T F 8 F T T T 9 T F F F 10 T F F T 11 T F T F 12 T F T T 13 T T F F 14 T T F T 15 T T T F 16 T T T T F 3 2 T 1 T 1 T F 13 7 6 T 5 T 5 T F 13 11 10 T 9 T 9 T T 5 9 T T T Tabela 2 Nota: Colunas sombreadas: A, B, C, D — número do teste-par de independência. Considerando os testes 5 e 13 da Tabela, assinale a alternativa que descreve corretamente a relação entre eles.