Respuestas
Dado un conjunto universal U formado por los elementos falso: F y verdadero: V:
{\displaystyle U=\{F,V\}}y una operación binaria interna disyunción {\displaystyle \lor }, que representaremos {\displaystyle (U,\lor )}:
{\displaystyle {\begin{array}{rccl}\lor :&\;U\times U&\to &U\\&(a,b)&\to &c=a\lor b\end{array}}}por la que definimos una aplicación que a cada par ordenado (a,b) de U por U se le asigna un c de U.
{\displaystyle \forall (a,b)\in U\times U\,:\quad \exists !c\in U\;/\quad c=a\lor b}Para todo par ordenado (a,b) en U por U, se cumple que existe un único c en U, tal que c es el resultado de la disyunción lógica a y b.
Para dos entradas a y b, la tabla de la verdad de la función disyuntiva es también la disyunción {\displaystyle \lor }, cuando hay dos elementos en dos conjuntos que integran una proposición. La tabla de la verdad es:
{\displaystyle {\begin{array}{|c|c||c|}\hline a&b&a\lor b\\\hline F&F&F\\V&F&V\\F&V&V\\V&V&V\\\hline \end{array}}}Más generalmente, la disyunción es una fórmula lógica que puede consistir en una o más literales separadas mediante o. Si existe una sola literal se le considera disyunción degenerada.