ANF exemplo