funciones logicas


Una proposición es cualquier enunciado lógico al que se le pueda asignar un valor de verdad (1) o falsedad (0).
Dada una proposición p, se define la negación de p como la proposición p' que esverdadera cuando p es falsa 
y que es falsa cuando p es verdadera. Se lee "no p".
A partir de una o varias proposiciones elementales se pueden efectuar diversas operaciones lógicas para construir nuevas proposiciones; en este caso, se necesita conocer su valor de verdad o falsedad en función de los valores de 
las proposiciones de que se componen, lo cual se realiza a través de las tablas deverdad de dichas operaciones. 
Por ejemplo, la tabla de verdad de la negación es la siguiente: 
  
 
p
p'
1
0
0
1
A continuación se describen las principales operaciones lógicas entre dosproposiciones p, q y sus tablas de verdad:
        Conjunción: es aquella proposición que es verdadera cuando p y q son verdaderas, y falsa en cualquier otro caso. Se escribe p Ù q, y se lee "p y q".   
 
p
q
p Ù q
1
1
1
1
0
0
0
1
0
0
0
0
        Disyunción: es aquella proposición que es verdadera cuando al menos una de las dos p o q es verdadera,  y falsa en caso contrario. Seescribe p Ú q, y se lee "p o q". 
  
 
p
q
p Ú q
1
1
1
1
0
1
0
1
1
0
0
0
        Disyunción exclusiva: es aquella proposición que es verdadera cuando una y sólo una de las dos p o q esverdadera,  y falsa en cualquier otro caso. Se escribe p Ú q, y se lee "p o q pero no ambas". Se usa muy poco. 
  
 
p
q
p Ú q
1
1
0
1
0
1
0
1
1
0
0
0
        Condicional: es aquellaproposición que es falsa únicamente cuando la condición suficiente p es verdadera y la condición necesaria q es falsa. Se escribe p Þ q, y se lee "si p entonces q". 
  
 
p
q
p Þ q
1
1
1
1
00
0
1
1
0
0
1
        Bicondicional: es aquella proposición que es verdadera cuando p y q tienen el mismo valor de verdad, y falsa en caso contrario. Se escribe p Û q, y se lee "si y sólo...