Ciência da Computação Aspecto Gerais Algoritmos

Analisando as fórmulas lógicas acima, conclui-se que

  • A.

    apenas I é uma fórmula satisfatível.

  • B.

    apenas I é uma fórmula válida.

  • C.

    apenas II é uma fórmula válida.

  • D.

    ambas são fórmulas satisfatíveis.

  • E.

    ambas são fórmulas válidas.