No diagrama abaixo, a região delimitada por S representa os ...
Símbolos para os conetivos lógicos:
Negação ∼
Conjunção ∧
Disjunção ∨
Disjunção exclusiva ⨁
Condicional
Bicondicional ↔
No diagrama abaixo, a região delimitada por S representa os bairros do município Arroio Azul. A região demarcada por C representa os bairros do município que têm coleta de lixo; a região E representa os bairros com esgoto e a região P representa os bairros com posto de saúde. A região sombreada do diagrama representa: