La disyunción es un operador lógico que actúa sobre dos valores de verdad, típicamente los valores de verdad de dos proposiciones, devolviendo el valor de verdad "verdadero" cuando una de las proposiciones es verdadera, o cuando ambas lo son, y "falso" cuando ambas son falsas.