Tiene significados en lógica, filosofía, semántica lingüística y sintaxis, sin embargo todos son muy similares y se refieren a un operador sobre dos o más elementos que resulta verdad si sólo al menos un elemento es verdadero.