///
Legenda para os símbolos lógicos:
v Representa a disjunção inclusiva (ou).^ Representa a conjunção (e).~ Representa a negação.→ Representa o condicional (se...então).↔ Representa o bicondicional (se e somente se).A sentença: Nego que Paula é funcionária pública e concursada é equivalente pela Lei de De Morgan à sentença: