Operador lógico

Operador lógico

Operador lógico

Los operadores lógicos son utilizados por la lógica proposicional para admitir o rechazar proposiciones. En programación de ordenadores se utilizan para combinar valores lógicos (Verdadero/Falso) y obtener nuevos valores lógicos que determinen el flujo de control de un algoritmo o programa.

Tablas de Verdad

El comportamiento de un operador lógico suele definirse mediante su correspondiente tabla de verdad, en ella se muestra el resultado que produce la aplicación de un determinado operador a uno o dos valores lógicos. Las operaciones lógicas más usuales son:

  • NO lógico (NOT) o negación:
Operador unario (aplicado a un único operando). Cambia el valor de verdad de verdadero (V) a falso (F) y viceversa.
p NOT p
V F
F V
  • O lógica (OR) o disyunción:
Operador n-ario (aplicado a 2 o más operandos). Si todos los operandos son F devuelve F; si hay alguno que sea V devuelve V.
p q p OR q
V V V
V F V
F V V
F F F
  • Y lógica (AND) o conjunción:
Operador n-ario . Si todos los operandos son V devuelve V; si hay alguno que sea F devuelve F.
p q p AND q
V V V
V F F
F V F
F F F
  • O-eXclusiva lógica (XOR):
Operador binario (aplicado a dos operandos). Devuelve V cuando ambos operandos son distintos y F cuando son iguales.
p q p XOR q
V V F
V F V
F V V
F F F


Los 16 operadores lógicos binarios pueden ser definidos a través de la siguiente Tabla de Verdad :
p q T ↑ → ~p ← ~q \leftrightarrow ↓ \vee \not\leftrightarrow q \not\leftarrow p \not\rightarrow \wedge F
T T T F T F T F T F T F T F T F T F
T F T T F F T T F F T T F F T T F F
F T T T T T F F F F T T T T F F F F
F F T T T T T T T T F F F F F F F F


Donde:

  • T : tautología
  • ↑ : negación alternativa, incompatibilidad, no ambos, exclusión, "NAND"
  • → : condicional, implicación (simple), "IMP"
  • ~ : negación, "NOT"
  • ← : implicación inversa
  • \leftrightarrow : bicondicional, implicación doble, equivalencia, "EQV", "XNOR"
  • ↓ : negación conjunta, "NOR"
  • \vee: disyunción, "Ó", "OR"
  • \not\leftrightarrow : disyunción exclusiva, contravalencia, "XOR"
  • \not\leftarrow : negación del condicional inverso
  • \not\rightarrow : negación del condicional
  • \wedge : conjunción, "Y", "AND"
  • F : contradicción

Véase también

Obtenido de "Operador l%C3%B3gico"

Wikimedia foundation. 2010.

Игры ⚽ Нужен реферат?

Mira otros diccionarios:

  • Operador lógico — Para ver tablas de verdad y esquemas de los operadores lógicos en electrónica ver: Puerta lógica La lógica proposicional utiliza los operadores lógicos para admitir o rechazar proposiciones. Un operador lógico es un estado en la lógica… …   Enciclopedia Universal

  • Operador — En matemáticas, el término operador puede usarse con varios significados. Algunas veces, un operador es un símbolo matemático que indica que debe ser llevada a cabo una operación especificada[1] sobre un cierto número de operandos (número,… …   Wikipedia Español

  • Tipo de dato lógico — El tipo de dato lógico o booleano es en computación aquel que puede representar valores de lógica binaria, esto es 2 valores, valores que normalmente representan falso o verdadero. Se utiliza normalmente en la programación, estadística,… …   Wikipedia Español

  • Tabla de verdad — Una tabla de verdad, o tabla de valores de verdad, es una tabla que despliega el valor de verdad de una proposición compuesta, para cada combinación de valores de verdad que se pueda asignar a sus componentes.[1] Fue desarrollada por Charles… …   Wikipedia Español

  • Tabla de valores de verdad — Saltar a navegación, búsqueda Una tabla de valores de verdad, o tabla de verdad, es una tabla que despliega el valor de verdad de una proposición compuesta, para cada combinación de valores de verdad que se pueda asignar a sus componentes.[1] Fue …   Wikipedia Español

  • Negación lógica — Para otros usos de este término, véase negación. En lógica y matemática, la negación, también llamada complemento lógico, es una operación sobre proposiciones, valores de verdad, o en general, valores semánticos. Intuitivamente, la negación de… …   Wikipedia Español

  • Afirmación — El término Afirmación consiste en un acto por el cual manifestamos nuestro asentimiento intelectual y compromiso social respecto a una creencia expresando lingüísticamente un enunciado; considerando y declarando válida con plena conciencia su… …   Wikipedia Español

  • Formas Canónicas (Álgebra de Boole) — Saltar a navegación, búsqueda En Álgebra booleana, se conoce como término canónico de una función lógica a todo producto o suma en la cual aparecen todas las variables en su forma directa o inversa. Una Función lógica que está compuesta por… …   Wikipedia Español

  • Disyunción lógica — Para el dispositivo electrónico, véase Puerta lógica. OR Compuerta lógica. En matemáticas, una disyunción lógica (comúnmente conocida como O, ó ) es un operador lógico que resulta en verdadero si cualquiera de los operadores es …   Wikipedia Español

  • Memoria de acceso aleatorio — Para otros usos de este término, véase RAM (desambiguación). DIMM normal y corriente de memoria RAM tipo DDR3 de 240 contactos. La memoria de acceso aleatorio (en inglés: random access memory, cuyo acrónimo es RAM) es la memoria desde donde el …   Wikipedia Español

Compartir el artículo y extractos

Link directo
… Do a right-click on the link above
and select “Copy Link”