Programaci贸n Orientada a Objetos

Profesor: 脕ngel Rold谩n
Profesor: 脕ngel Rold谩n
Cursos Relacionados

Cursos de Java

Tablas de Verdad

Como ya hemos dicho, una f贸rmula puede tomar los valores verdadero y falso. La sem谩ntica es el conjunto de reglas que permiten dar significado a una f贸rmula. El valor de una f贸rmula vendr谩 dado por los operadores seg煤n las tablas de verdad. A partir de ahora, al valor falso le asignaremos el 0, y al verdadero el 1.

Negaci贸n: La negaci贸n de un valor es su opuesto.


Conjunci贸n: La conjunci贸n de 2 valores s贸lo es cierta si ambos son verdaderos


Disyunci贸n: La disyunci贸n de 2 valores s贸lo es falsa si ambos son falsos.


Condicional: La 煤nica posibilidad de que una condici贸n o implicaci贸n sea falsa es si verdadero implica falso (1 -> 0).


Disyunci贸n exclusiva: La disyunci贸n exclusiva de 2 valores es verdadera si son diferentes, y falsa si los 2 valores son iguales.


A continuaci贸n, veremos c贸mo utilizar tablas de verdad. Queremos saber si las f贸rmulas not (p and q) y (not p) or (not q) son equivalentes. Para ello utilizaremos las tablas de verdad para obtener el resultado de las f贸rmulas, y si ambas dan el mismo resultado para cualquier combinaci贸n de valores (sus tablas de verdad son iguales), ser谩n equivalentes:


Como se puede apreciar, las 2 f贸rmulas devuelven el mismo resultado. Son equivalentes.

Compartir

Secci贸n de Inter茅s

脕REA LINUX