Saída de fórmulas de verificação FUNÇÃO DO PROGRAMA