À deux assertions \(A\) et \(B\), on associe leur disjonction \(A\lor B\) qui est vraie si l'une des assertions \(A\) et \(B\) est vraie, et fausse sinon
Notation
En programmation, on note \(||\) la disjonction
Table de vérité
Table de vérité de la disjonction : $$\begin{array}{c|c|c}\varphi&\psi&\varphi\lor\psi\\ \hline0&0&{{0}}\\ \hline0&1&{{1}}\\ \hline1&0&{{1}}\\ \hline1&1&{{1}}\end{array}$$
Table de vérité de la disjonction en programmation : $$\begin{array}{c|c|c}a&b&a\,||\,b\\ \hline0&0&{{0}}\\ \hline0&1&{{1}}\\ \hline0& {\bot\,}\llap{\bot} &{{ {\bot\,}\llap{\bot} }}\\ \hline1&0&{{1}}\\ \hline1&1&{{1}}\\ \hline1& {\bot\,}\llap{\bot} &{{1}}\\ \hline {\bot\,}\llap{\bot} &0&{{ {\bot\,}\llap{\bot} }}\\ \hline {\bot\,}\llap{\bot} &1&{{ {\bot\,}\llap{\bot} }}\\ \hline {\bot\,}\llap{\bot} & {\bot\,}\llap{\bot} &{{ {\bot\,}\llap{\bot} }}\end{array}$$