Disyunción o suma lógica

La disyunción lógica, también conocida como suma lógica, es un conector lógico que se utiliza en razonamiento formal para unir dos proposiciones y cuyo valor de verdad resulta en cierto si al menos una de las proposiciones es cierta, y en falso solo si ambas proposiciones son falsas. En lenguajes formales, el conectivo "o" se utiliza en español para simbolizar una disyunción lógica. En álgebra booleana, la disyunción como operador binario entre dos variables se representa con el símbolo de suma (+). La disyunción de dos proposiciones simples p y q es verdadera si al menos una de las proposiciones es verdadera. La representación de la disyunción de proposiciones se realiza con una compuerta OR cuyo símbolo es +. La tabla de verdad de la disyunción de proposiciones tendrá 2n renglones, en cada uno de los cuales están todas las posibles y diferentes combinaciones de valor de verdad de las proposiciones simples.