conectores logicos

Conectores Lógicos

Los conectores lógicos, o simplemente conectores son símbolos que se utilizan para conectar dos fórmulas, de modo que el valor de verdad de la fórmula compuesta dependa del valor de verdad de las fórmulas componentes.

En programación se utilizan para combinar valores de verdad y obtener nuevos valores que determinen el flujo de control de un algoritmo o programa
Son funciones que toman uno o dos valores de verdad, y devuelven un único valor de verdad. En consecuencia, cada conectiva lógica puede ser definida mediante una tabla de valores de verdad que indique qué valor devuelve la conectiva para cada combinación de valores de verdad

Conectiva	Notación	Ejemplo de uso	Análogo natural	Ejemplo de uso en el lenguaje natural
Negación	¬	¬p	no	No está lloviendo.
Conjunción	/\	p/\q	y	Está lloviendo y es de noche.
Disyunción	\/	p\/ q	o	Está lloviendo o es de noche.