É CORRETO afirmar que a expressão lógica

é equivalente logicamente à seguinte expressão:
É CORRETO afirmar que a expressão lógica

é equivalente logicamente à seguinte expressão:
Seja o seguinte trecho de um programa em Prolog

Assinale a alternativa que apresenta a sequência CORRETA.