As Leis de De Morgan são dois teoremas fundamentais da lógica proposicional e da álgebra booleana que relacionam a negação com as operações de conjunção (AND) e disjunção (OR). Esses teoremas permitem manipular expressões lógicas de forma mais eficiente e realizar deduções de forma mais clara.
A partir deste contexto, avalie as asserções a seguir e a relação proposta entre elas.

I- A negação da proposição “João é inteligente e Maria é magra” é “João não é inteligente e Maria não é magra.”

PORQUE

II- As Leis de De Morgan afirmam que ∼(P ∧ Q) é equivalente a ∼P∨ ∼Q.

A respeito dessas asserções, é CORRETO afirmar que: