Diferencia entre revisiones de «Conectiva lógica»
Apariencia
Contenido eliminado Contenido añadido
Sin resumen de edición |
m Revertidos los cambios de 190.65.75.32 (disc.) a la última edición de 201.116.86.42 |
||
Línea 1: | Línea 1: | ||
Los '''operadores |
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 (computación)|programa]]. |
||
==Tablas de Verdad== |
==Tablas de Verdad== |
Revisión del 16:29 12 feb 2010
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 ilógico 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
- 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:
|
|