Considere a afirmação:
Animais são bípedes ou são quadrúpedes e árvores tem folhas verdes.
Uma afirmação que corresponda à negação lógica dessa afirmação é:
Árvores não tem folhas verdes e animais são bípedes e são quadrúpedes.
Animais não são bípedes ou não são quadrúpedes e árvores não têm folhas verdes.
Animais não são bípedes ou não são quadrúpedes, ou árvores não têm folhas verdes.
Árvores têm folhas verdes e animais não são bípedes ou são quadrúpedes.
Árvores não têm folhas verdes ou animais não são bípedes e não são quadrúpedes.