Tipos de Tabla de Verdad -Cervantes Martínez Lorena -Leal Martínez Axel Arturo maestra: margarita romero
¿Qué es una tabla de verdad? Una tabla de verdad es una relación de todos los posibles valores para los operandos que intervienen en una operación, y los resultados para cada caso. En el caso de operadores lógicos podemos mostrar fácilmente tablas de verdad, ya que el dominio para cada operando es muy reducido: true o false . 1 2 3 4 5 A B C B/C A/(B/C) V V V V V V V F V V V F V V V V F F F F F V V V F F V F V F F F V V F F F F F F
Los operadores lógicos en C++ son los siguientes: Operador Significado Operador && Operador lógico and Operador ll Operador lógico or Operador ! Operador lógico not
El operador “&&” equivale al “AND” o “Y”; devuelve true sólo si los dos operandos true o lo que es equivalente, distintas de cero. En cualquier otro caso el resultado es false . El operador “||” equivale al “OR” u “O inclusivo”; devuelve true si cualquiera de las expresiones evaluadas es true , o distinta de cero, en caso contrario devuelve false . El operador “!” es equivalente al “NOT”, o “NO”, y devuelve true cuando la expresión evaluada es false o cero, en caso contrario devuelve false .
Funciones de verdad Negación (¬),(~) Consiste en cambiar el valor de verdad de una variable proposicional . La característica de la negación es que invierte el valor de verdad de la proposición. La negación es un operador que se ejecuta sobre un único valor de verdad, devolviendo el valor contradictorio de la proposición considerada. A ¬A V F F V
Conjunción La conjunción es un operador que opera sobre dos valores de verdad, típicamente los valores de verdad de dos proposiciones, devolviendo el valor de verdad verdadero cuando ambas proposiciones son verdaderas, y falso en cualquier otro caso. Es decir es verdadera cuando ambas son verdaderas La proposición molecular será verdadera sólo cuando ambas variables proposicionales sean verdaderas . A B A^B V V V V F F F V F F F F
Disyunción La proposición molecular será verdadera cuando una o ambas variables proposicionales sean verdaderas. A B V V V V F V F V V F F F
CondicionaL La proposición molecular será verdadera cuando se cumpla si es verdadero A entonces lo es B. A B V V V V F F F V V F F V
Bicondicional El bicondicional o doble implicación es un operador que funciona sobre dos valores de verdad, típicamente los valores de verdad de dos proposiciones, devolviendo el valor de verdad verdadero cuando ambas proposiciones tienen el mismo valor de verdad, y falso cuando sus valores de verdad difieren. La proposición molecular será verdadera cuando ambas variables proposicionales tengan a la vez el mismo valor de verdad. A B V V V V F F F V F F F V
Disyunción EXCLUSIVA La disyunción es un operador que opera sobre dos valores de verdad, típicamente los valores de verdad de dos proposiciones, devolviendo el valor de verdad verdadero cuando una de las proposiciones es verdadera, o cuando ambas lo son, y falso cuando ambas son falsas . A B V V V V F V F V V F F F