CENTROS DE

ESTUDIOS
TECNOLOGICOS
INDUSRIAL Y DE
SERVICIO N.109
IDALIA GPE TRISTAN SANCHEZ
CARLOS OZIEL SOLIS JUAREZ
MARGARITA ROMERO
ALVARADO
2AM PROGRAMACIN
 TABLAS DE
VERDAD PARA
C++.
 TABLAS DE VERDAD

Una tabla de verdad, o tabla de valores

de verdad, es una tabla que muestra el
valor de verdad de una proposicin
compuesta, para cada combinacin de
valores de verdad que se pueda
asignar a sus componentes.
 VALORES DE VERDAD

Los valores de verdad posibles son

dos:verdaderoyfalso, pueden
expresarse como1y0.
Normalmente se representa al valor
Verdadero con la letra V y al valor Falso
con la F. Tambin se usan las letras T
(por true, verdadero en ingls) y F
(por false, falso en ingls).
DISYUNCIN

Ladisyuncines un operador
que opera sobre dos valores de
verdad, tpicamente los valores
de verdad de dos proposiciones,
devolviendo el valor de
verdadverdaderocuando una
de las proposiciones es
verdadera, o cuando ambas lo
son, yfalsocuando ambas son
falsas.
 EJEMPLOS
p v q (se lee: p o q)
1# p = El numero 2 es par
q = la suma de 2 + 2 es 4
entonces
pvq: El numero 2 es parola suma de 2 + 2 es 4

2# p = Larazcuadrada del 4 es 2
q = El numero 3 es par
entonces
pvq: Larazcuadrada del 4 es 2oel numero 3 es
par
 CONJUNCIN

Laconjuncines un operador que

opera sobre dos valores de verdad,
tpicamente los valores de verdad de
dos proposiciones, devolviendo el valor
de verdadverdaderocuando ambas
proposiciones son verdaderas,
yfalsoen cualquier otro caso. Es decir
es verdadera cuando ambas son
verdaderas
 EJEMPLOS
p ^q (se lee: p y q)
1# p = El numero 4 es par
q = Siempre el residuo de losnmerospares es
2
entonces
p^q: El numero 4 es parySiempre el residuo de
losnmerospares es 2
2# p = El numero mas grande es el 34
q = El triangulo tiene 3 lados
entonces
p^q: El numero mas grande es el 34yEl
NEGACIN

La caracterstica de la negacin es
que invierte el valor de verdad de
la proposicin. La negacin es
unoperadorque se ejecuta sobre
un nicovalor de verdad,
devolviendo el
valorcontradictoriode la
proposicin considerada. Consiste
en cambiar el valor de verdad de
una variable proposicional.
 EJEMPLOS

1# p: 4 + 4 es igual a 9
-p: 4 + 4noes igual a 9

2# p: El 4 es un numero par
-p: El 4noes un numero par
CONDICIONAL

Elcondicional materiales un
operador que opera sobre dos
valores de verdad, tpicamente
los valores de verdad de dos
proposiciones, devolviendo el
valor de verdadfalsoslo
cuando la primera proposicin
es verdadera y la segunda falsa,
y verdaderoen cualquier otro
caso.
Lacondicionalde dos
proposiciones p, q da lugar a la
 EJEMPLOS

1# p: llueve
q: hay nubes
pq: sillueveentonceshay nubes
2# p: Hoy esmircoles
q: Maana ser jueves
pq: SiHoy
esmircolesentoncesMaana ser
jueves
BICONDICIONAL

Elbicondicionalo doble
implicacin es un operador que
funciona sobre dos valores de
verdad, tpicamente los valores
de verdad de dos proposiciones,
devolviendo el valor de
verdadverdaderocuando ambas
proposiciones tienen el mismo
valor de verdad, y falso cuando
sus valores de verdad difieren.
 EJEMPLOS

1# p: 10 es un nmero impar
q: 6 es un nmero primo
pq: 10 es un nmero imparsi y solo si6
es un nmero primo
2# p: 3 + 2 = 7
q: 4 + 4 = 8
pq: 3 + 2 = 7 si y solo si4 + 4 = 8

PROPOSICIN

Una proposicin slo puede ostentar

uno de ellos (ni los dos a la vez, ni
ninguno de ellos). Estos valores se
llaman booleanos
Una proposicin es una afirmacin
capaz de tener un valor de verdad. Es
decir, una oracin de la cual se puede
decir que es verdadera o que es falsa.
 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.
 Operaciones lgicas

El operador OR se representa mediante el

smbolo y se utiliza para la
operacindisyuncin.
El operador NOT se representa mediante el
smbolo y se utiliza para la operacinnegacin.
El operador IMPLICA se representa mediante el
smbolo y se usa para la operacinimplicacin
operador se la llama antecedente y a la que se
coloca a la derecha de la llama consecuente.
Esta operacin no es conmutativa.
 Operaciones lgicas

El operador BICONDICIONAL se representa

mediante el smbolo y se usa para la
operacindoble 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
lgico

Lgicos unen los operadores proposiciones.

Entonces, 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
Las tablas de las operaciones, de acuerdo a las
distintas posibles combinaciones de los valores
de verdad de los operandos, son las
siguientes:
 EQUIVALENCIAS LOGICAS

Una equivalencia lgica es una similitud en grados

de verdad existen entre 2 o mas expresiones, siendo
cualquiera de ellas validas; es decir cualquiera de
estas puede ser usada en la demostracin de un
sujeto, sin que ello implique variacin en el
resultado final por el cambio o sustitucin de
cualquiera de ellas.
La demostracin de equivalencias mas comnmente
usada es mediante el mtodo de tablas de verdad.
FORMA NORMA CONJUNTIVA A TRAVS
DE MANIPULACIONES ALGEBRAICAS

1._Eliminar todas las y

2._Si la expresin contiene cualquiera sobrexpresin
compuesta negada elimnela.
3._Una vez encontrada una expresin sin ninguna
sobrexpresin compuesta negada, use las 2 leyes
siguientes para reducir el alcance de V.
 CONCLUSIN

Podemos concluir que una tabla de

verdad de un enunciado (molecular)
muestra el valor de verdad de dicho
enunciado para todas las posibles
combinaciones de los valores de verdad
de las proposiciones que lo componen,
o de manera ms breve, una tabla de
verdad de un enunciado muestra el
valor de verdad de dicho enunciado
para todas sus interpretaciones.
 OPININ

No P y Q
VF=F
VV=V
FF=V
FV=F
Si una de las proposiciones es Falsa, y la otra
Verdadera, entonces el resultado es Falso. Si las dos
proposiciones son Verdaderas o Falsas (siempre
ambas), el resultado es Verdadero.
 REFERENCIA

solocodigo.com Foros Programacin General

C/C++
https://mx.answers.yahoo.com/question/index?qi
d=20091127161257AAHkApE
www.portalhacker.net/index.php/topic,109660.5/wap
2.html