En matemáticas, 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».
