A programação estruturada estabelece uma disciplina no desenvolvimento de algoritmos, independentemente da sua complexidade e da linguagem na qual será codificado, que facilita a compreensão da solução através de um número restrito de mecanismos de codificação. Nesse sentido, observe as estruturas de controle em (a) e (b).

Na estrutura "enquanto.... fim_enquanto" em (a), o fluxo de execução das instruções permanece no loop de repetição, quando o teste da condição retorna um valor booleano BOL1, ao passo que a execução da estrutura termina, quando o teste da condição retorna outro valor booleano BOL2. Em contrapartida, na estrutura "repita ... fim_repita" em (b), o fluxo de execução das instruções permanece no loop de repetição, quando o teste da condição retorna um valor booleano BOL3, ao passo que a execução da estrutura se encerra quando o teste da condição retorna outro valor booleano BOL4.
FALSO, VERDADEIRO, FALSO e VERDADEIROOs valores booleanos ou lógicos BOL1, BOL2, BOL3 e BOL4 são, respectivamente: