Analisando as fórmulas lógicas acima, conclui-se que
apenas I é uma fórmula satisfatível.
apenas I é uma fórmula válida.
apenas II é uma fórmula válida.
ambas são fórmulas satisfatíveis.
ambas são fórmulas válidas.
{TITLE}
{CONTENT}
{TITLE}
Aguarde, enviando solicitação...