Operador lógico
De Wikipedia, la enciclopedia libre
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.
[editar] 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
| p | q | T | ↑ | → | ~p | ← | ~q |  |
↓ |  |
 |
q |  |
p |  |
 |
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:
|
|
[editar] Véase también
- Cálculo
- Función lógica
- Lógica matemática
- Lógica proposicional
- Puerta lógica
- Silogismo
- Tabla de valores de verdad