INGENIERÍA EN TECNOLOGÍAS DE LA INFORMACIÓN Y

COMUNICACIONES

NOMBRE MATERIA:
Matematicas discretas
NOMBRE DE LA EVIDENCIA:
Tablas de verdad
PRESENTA:
Jesus Leonardo Alejandre Reyes
NÚMERO DE CONTROL:
211H0108
UNIDAD:
2

DOCENTE:

Ing. Victor Manuel Pecero Ramirez

CIUDAD Y FECHA
Naranjos, Ver. 05/09/2021
 INDICE

NOTA ................................................................................................................................................................................ 3
TABLAS DE VERDAD .......................................................................................................................................................... 4

2
 NOTA

*En esta trabajo se muestran los ejercicios de tablas de verdad sin

embargo no se aprecia muy bien le dejo el link de una carpeta de drive
donde estará el documento en Excel*

https://docs.google.com/spreadsheets/d/18jbrYh4PjFBrHtQBdN8_PFIIaG
M6DksE/edit?usp=sharing&ouid=102694961633854849062&rtpof=true&sd=
true

3
 TABLAS DE VERDAD

-[ -(P -> R) ˄ ( -Q ˄ -P) ] <-> [ -(P˄Q) ˄ (Q v -R)]

( -Q ˄ -
P Q R -P -Q -R (P -> R) P) (P˄Q) (Q v -R) -(P -> R) -(P˄Q)
1 1 1 0 0 0 1 0 1 1 0 0
1 1 0 0 0 1 0 0 1 1 1 0
1 0 1 0 1 0 1 0 0 0 0 1
1 0 0 0 1 1 0 0 0 1 1 1
0 1 1 1 0 0 1 0 0 1 0 1
0 1 0 1 0 1 1 0 0 1 0 1
0 0 1 1 1 0 1 1 0 0 0 1
0 0 0 1 1 1 1 1 0 1 0 1

[ -(P -> R) ˄ ( -Q ˄ -P) -[ -(P -> R) ˄ ( -Q ˄ -P) [ -(P˄Q) ˄ (Q v -

] ]
0 1
0 1
0 1
0 1
0 1
0 1
0 1
0 1
R)] -[ -(P -> R) ˄ ( -Q ˄ -P) ] <-> [ -(P˄Q) ˄ (Q v -R)]
0 0
0 0
0 0
1 1
1 1
1 1
0 0
1 1

4
-[ (P v R) -> ( -Q ˄ -P) ] ⊕ [ -(P˄Q)]
P Q R -P -Q (P v R) (-Q ˄ -P) (P˄Q)
1 1 1 0 0 1 0 1
1 1 0 0 0 1 0 1
1 0 1 0 1 1 0 0
1 0 0 0 1 1 0 0
0 1 1 1 0 1 0 0
0 1 0 1 0 0 0 0
0 0 1 1 1 1 1 0
0 0 0 1 1 0 1 0

-(P˄Q) [ (P v R) -> ( -Q ˄ -P) ] -[(P v R) -> ( -Q ˄ -P)] -[ (P v R) -> ( -Q ˄ -P) ] ⊕ [ -(P˄Q)]

0 0 1 1
0 0 1 1
1 0 1 0
1 0 1 0
1 0 1 0
1 1 0 1
1 1 0 1
1 1 0 1

- { -[ -(P ⊕ -R) <-> ( -Q ˄ -P) ] <-> [ -(P˄Q) ˄ (Q v -R)] } ⊕ R

P Q R -P -Q -R (P ⊕ -R) -(P ⊕ -R) ( -Q ˄ -P) (P˄Q)

1 1 1 0 0 0 1 0 0 1
1 1 0 0 0 1 0 1 0 1
1 0 1 0 1 0 1 0 0 0
1 0 0 0 1 1 0 1 0 0
0 1 1 1 0 0 0 1 0 0
0 1 0 1 0 1 1 0 0 0
0 0 1 1 1 0 0 1 1 0
0 0 0 1 1 1 1 0 1 0

5
-(P˄Q) (Q v -R) [ -(P ⊕ -R) <-> ( -Q ˄ -P) ] -[ -(P ⊕ -R) <-> ( -Q ˄ -P) ] [ -(P˄Q) ˄ (Q v -R)]
0 1 1 0 0
0 1 0 1 0
1 0 1 0 0
1 1 0 1 1
1 1 0 1 1
1 1 1 0 1
1 0 1 0 0
1 1 0 1 1

{ -[ -(P ⊕ -R) <-> ( -Q ˄ -P) ] <-> [ -(P˄Q) ˄ (Q v -R)] } - { -[ -(P ⊕ -R) <-> ( -Q ˄ -P) ] <-> [ -(P˄Q) ˄ (Q v -R)] }
1 0
0 1
1 0
1 0
1 0
0 1
1 0
1 0

- { -[ -(P ⊕ -R) <-> ( -Q ˄ -P) ] <-> [ -(P˄Q) ˄ (Q v -R)] } ⊕ R

1
1
1
0
1
1
1
0