Duas proposições combinadas que traduzem tanto a idéia de hipóteses mutuamente exclusivas quanto à de que pelo menos uma das hipóteses ocorra, representam uma operação lógica denominada