Diferencia entre revisiones de «Conectiva lógica»
Contenido eliminado Contenido añadido
m Revertidos los cambios de 190.71.215.174 a la última edición de Diegusjaimes |
|||
| Línea 5: | Línea 5: | ||
Las operaciones lógicas más usuales son: |
Las operaciones lógicas más usuales son: |
||
*''NO'' lógico ('''NOT''') o negación: |
*''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. |
:Operador unario (aplicado a un único operando). Cambia el valor de verdad de verdadero ('''V''') a falso ('''F''') y viceversa. |
||
:{| class="wikitable" border="1" cellspacing="1" cellpadding="5" |
:{| class="wikitable" border="1" cellspacing="1" cellpadding="5" |
||
Revisión del 23:45 3 ago 2009
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
| 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:
|
|