Para responder a essa questão, é importante considerar a afirmação apresentada e analisar com cuidado as opções fornecidas. A afirmação diz que todo programa que faça uso de desvios condicionais ou incondicionais não-estruturados pode sempre ser convertido para um programa semanticamente equivalente, construído apenas com comandos estruturados. Analisando as opções: A) É sempre verdadeira - Essa opção afirma que a afirmação é sempre verdadeira, sem exceções. B) Pode ser verdadeira ou falsa, dependendo do programa em questão - Essa opção considera que a veracidade da afirmação depende do programa específico. C) Pode ser verdadeira ou falsa, dependendo do algoritmo de conversão utilizado - Essa opção considera que a veracidade da afirmação depende do algoritmo utilizado para a conversão. D) É verdadeira apenas se o programa não contém estruturas iterativas - Essa opção restringe a veracidade da afirmação apenas a programas sem estruturas iterativas. E) É verdadeira apenas se o programa não contém estruturas condicionais - Essa opção restringe a veracidade da afirmação apenas a programas sem estruturas condicionais. Considerando a natureza da afirmação e a capacidade de conversão de programas não-estruturados para estruturados, a opção que melhor se encaixa é: A) É sempre verdadeira.