Legenda para os símbolos lógicos:
∨ Representa a disjunção inclusiva.
∧ Representa a conjunção.
~ Representa a negação.
→ Representa o condicional.
↔ Representa o bicondicional.

Considere o diagrama abaixo em que o universo S identifica os alunos do ensino superior, onde representamos por:

A= os alunos do ensino superior que possuem smartphone.
B= os alunos do ensino superior que realizam regularmente atividade física.
C= os alunos do ensino superior que possuem casa própria.

A região escura do diagrama representa os indivíduos que: