O valor lógico da disjunção (V) de duas proposições p e q é definido pela seguinte tabela verdade:


As letras x e y na última coluna da tabela representam, respectivamente, os seguintes valores lógicos: