A equivalência da Lei de Morgan é descrita como ¬(𝑃 ∧ 𝑄) ⇔ (¬𝑃 ∨ ¬𝑄). Assim, a negação da sentença composta João é enfermeiro e secretário é equivalente à sentença da alternativa:
A
João não é enfermeiro e secretário.
B
João não é enfermeiro, mas é secretário.
C
João não é enfermeiro ou secretário.
D
João é enfermeiro, mas não é secretário.
E
João não é enfermeiro.