CENTRO DE ESTUDIOS

TECNOLGICOS
INDUSTRIAL Y DE
SERVICIOS. N109
PROFRA: MARGARITA ROMERO ALVARADO
TIPOS DE DATOS EN C++
 TABLAS DE VERDAD

Las tablas de verdad son un elemento de

la lgica proposicional para determinar el
valor de verdad (es decir, si es
verdadero o falso) de una proposicin.
Los valores de verdad posibles son dos:
verdadero y falso, que tambin pueden
expresarse como 1 y 0. Una proposicin slo
puede ostentar uno de ellos (ni los dos a la
vez, ni ninguno de ellos).
 OPERACIONES LGICAS

Una operacin lgica se compone de

operandos (proposiciones) y operadores.
Mediante una operacin lgica se unen
proposiciones para obtener una nueva
proposicin compuesta.
Los operadores lgicos (tambin llamados
conectores lgicos) usados para unir
proposiciones son: AND (y), OR (o), NOT
(no), IMPLICA, BICONDICIONAL (si y slo
si). Mediante ellos se forman proposiciones
moleculares.
 El operador AND(Y) se representa mediante
el smbolo y se utiliza para la operacin
conjuncin.

El operador OR(o) se representa mediante

el smbolo y se utiliza para la operacin
disyuncin.
 El operador NOT(no) se representa
mediante el smbolo y se utiliza para la
operacin negacin.

El operador IMPLICA se representa

mediante el smbolo y se usa para la
operacin implicacin (tambin llamada
condicional).
 El operador BICONDICIONAL se
representa mediante el smbolo y se
usa para la operacin doble implicacin
(tambin llamada equivalencia).
La negacin es una operacin unaria,
porque involucra un nico operando
(proposicin). El resto son binarias, porque
involucran dos operandos.

Adems, pueden unirse ms de dos

proposiciones, usando ms de un operador
lgico.
 TABLA DE VERDAD DE CADA
OPERADOR LOGICO

Al unir dos proposiciones, se obtiene una

nueva proposicin, cuyo valor de verdad
depender de cules son concretamente
los valores de verdad de las proposiciones
unidas.
 CONJUNCIN

p q pq
V V V
V F F
F V F
F F F

La caracterstica de la conjuncin es que slo

es V cuando ambos operandos son V.
 DISYUNCIN

p q pq
V V V
V F V
F V V
F F F

La caracterstica de la disyuncin es que slo

es F cuando ambos operandos son F.
 NEGACIN

p p
V F
F V

La caracterstica de la negacin es que invierte

el valor de verdad de la proposicin.
 IMPLICACIN
p q pq
V V V
V F F
F V V
F F V

La caracterstica de la implicacin es que

slo es F cuando el antecedente es V y el
consecuente es F.
 DOBLE IMPLICACIN
p q pq
V V V
V F F
F V F
F F V

La caracterstica de la doble implicacin es que

slo es V cuando ambos operadores tienen el
mismo valor.
 CONCLUSIN

Con esta presentacin nos podemos dar

cuenta de cada una de las caractersticas
de las tablas de verdad adems de
conocer cada una de ellas y como
representarlas.
 INTEGRANTES

Kattia Itzel Gutirrez Hernndez.

Erick Daniel Montoya Garca.