Disyunción lógica en programación

 ¿Qué es la disyunción en programación?

Una disyunción lógica, comúnmente conocida como O, o bien como \/, es un operador lógico que resulta verdadero si cualquiera de los operadores es también verídico. El símbolo \/ es la inicial de la conjunción adversativa latina vel, que significa "o", "o bien".

Una disyunción es un "enunciado con dos o más elementos operativos". Ejemplo de dos elementos; "puedes leer este articulo o editarlo". ejemplo de tres elementos "puedes leer este articulo, imprimirlo o editarlo".

Para dos entradas A y B, la tabla de la verdad de la función disyuntiva es también la disyunción \/, cuando hay más de dos elementos en dos conjuntos que integran una proposición. la tabla de la verdad es:

 

                                            

Más generalmente, la disyunción es una fórmula lógica que puede consistir en una o más literales separadas mediante "o".

En la literatura especializada varía el símbolo matemático de la disyunción lógica. Además de utilizar "o", comúnmente se usa el símbolo en forma de v (\/). Por ejemplo A\/B significa AoB. Esta disyunción es falsa si a la vez ambas (A y B) son falsas. En todos los demás casos es verdadera.

Cibergrafia

• https://eduardomlopez.wordpress.com/2013/01/28/operadores-logicos-conjuncion-y-disyuncion/