Em uma rotina de controle ...
I.¬(P v Q) é logicamente equivalente a ¬P ^ ¬Q.
II.¬(P ^ Q) é logicamente equivalente a ¬P ^ ¬Q.
III.¬(¬P v ¬Q) é logicamente equivalente a P ^ Q.
IV.¬(¬P ^ ¬Q) é logicamente equivalente a ¬P v ¬Q.
Está CORRETO o que se afirma em: