operadores logicos

Negación
La negación clásica es una operación sobre un valor de verdad, típicamente, el valor de una proposición, que produce un valor de verdadero cuando su operando es falso, y unvalor de falso cuando su operando es verdadero. Por tanto, si el enunciado A es verdadero, entonces ¬A (pronunciado "no A") sería consecuentemente falso; y lo contrario, si ¬A es verdadero, entonces Asería falso.
La tabla de verdad
¬p
p
¬p
Verdadero
Falso
Falso
Verdadero
CONJUNCIÓN
La conjunción de dos proposiciones simples P^q ( que se lee: ” p y q”) es verdadera si ambas proposicionesson verdaderas. La conjunción (^), es una conectiva lógica que  denomina el operador lógico AND y representa el producto lógico, y es una proposición de la forma Py Q donde estos son proposicionescuales quiera.
La conectiva ‘y’ o conjunción es simbolizada por el signo ‘.’ insertado entre dos fórmulas. Así,
p .q
Se lee ‘ p y q’
Te mostramos unos ejemplos sencillos para comprender el estudiode la conjunción.
Antonio  es mentiroso y Juan es mentiroso,
Se formula de modo más idiomático escribiendo:
Antonio y Juan son mentirosos
La tabla de verdad es la siguiente:




Disyunción
Laconectiva ‘o’ disyunción tiene dos sentidos y a ellos se alude ya en el lenguaje ordinario cuando se distingue entre ‘o’ y ‘o’. Cada uno de dichos sentidos es expresado en la lógica sentenciamediante un signo propio. La conectiva ‘o’ corresponde a la llamada disyunción inclusa es simbolizada por el signo ‘V’ insertado entre dos fórmulas. La disyunción de las proposiciones simples pVq que se lee:“p o q” es falsa si ambas proposiciones son falsas. El operador lógico disyunción también se denomina OR y representa la suma lógica. Esta se puede describir mediante una tabla de verdad, una tablade verdad de una proposición P formada por las proposiciones P1….,Pn donde V indica verdadero y F falso, de modo que para cada una de estas combinaciones se indica el valor de verdad de P.
p V q
Se...