A equivalência da Lei de Morgan é descrita como ¬(P ? Q) ? (¬P ? ¬Q). Assim, Carolina não é professora e ciclista é equivalente a negação da sentença da alternativa: