Disyunción exclusiva o diferencia simétrica

Disyunción exclusiva o diferencia simétrica: dadas dos proposiciones  " p y q " , se llama disyunción exclusiva de las mismas a la proposición  " p  v  q " , que leemos  " p o q " ,cuya tabla de verdad es :

p	v	q
V	F	V
V	V	F
F	V	V
F	F	F

Si decimos  " ln(2) < 4 o 4+4 = 13"  esta es una proposición compuesta formada por la disyunción exclusiva de dos proposiciones simples. Siendo la primera proposición verdadera y la segunda falsa,la lógica se interesa por el valor de verdad de la proposición compuesta.

Luego la proposición que resulta de la disyunción exclusiva de otras dos , es falsa si y solo si , las dos proposiciones simples tienen el mismo valor de verdad.