Quando a primeira parte for Verdade, a segunda parte será obrigatoriamente Falsa, e vice-versa. Assim, resulta em Verdade a disjunção entre a primeira e a segunda parte,, somente quando P e Q tiverem valores lógicos distintos, conforme define exatamente a regra da disjunção exclusiva.