En razonamiento
formal, una disyunción
lógica (
) (en específico, una disyunción inclusiva) entre dos
proposiciones es un conector cuyo valor de la
verdad resulta en falso sólo si ambas proposiciones son
falsas, y en cierto de cualquier otra forma. Existen
diferentes contextos dónde se utiliza la disyunción lógica.
En lenguajes formales, la palabra "ó" se utiliza en español para simbolizar
una disyunción lógica. Se debe distinguir entre el "ó" inclusivo y el "ó" exclusivo, este artículo se
refiere al "ó" inclusivo. La noción equivalente en la teoría de conjuntos es la unión (
). Enálgebra Booleana, la disyunción como operador
binario entre dos variables se representa con el símbolo de más ( + ).
En electrónica,
una puerta OR es una puerta lógica que implementa la disyunción lógica.
No hay comentarios:
Publicar un comentario