Dentre as estruturas lógicas baseadas na teoria booleana, existe uma que consiste em executar uma tarefa, ou um conjunto de tarefas, tantas vezes (loop) até que atingida uma condição.