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.



Considerando os testes 5 e 13 da Tabela, assinale a alternativa que descreve corretamente a relação entre eles.