Pergunta 21 pts

Considere o trecho de código abaixo:                                                                  {n = -4}                                                                 Se n > 0 então                                                                           y = -1*n                                                                  Senão                                                                           y = n                                                                  {y = }                Assinale a alternativa que contém as expressões para as triplas de Hoare a serem verificadas na correção do trecho de código.  {n= - 4 ∧ n > 0}  y= -1*n  {y=4}  {n=-4 ∧ (n >0)} y=n  {y=4}  {n > 0}  y= -1*n  {y=-4 ∧ n > 0}  ​{¬(n >0)} y=n  {y=4∧ n > 0} {n= - 4}  y= -1*n  {y=4}  {n=-4 } y=n  {y=4}  {n= - 4 ∧ n > 0}  y= -1*n  {y=4}  ​{n=-4 ∧ ¬(n >0)} y=n  {y=4} {y=  4 ∧ n > 0}  y= -1*n  {y=4}  {n=-4 ∧ ¬(x >0)} y=n  {y=4}​