Más generalmente, la disyunción es una fórmula lógica que puede consistir en una o más literales separadas mediante "o".