Usuario:Hernandez.o/ejercicio 14

Pensamiento algoritmico

El siguiente trabajo es un proyecto realizado por los estudiantes de la Universidad Javeriana de Bogota Colombia los cuales se encuentran cursando el primer semestre de Ingenieria Electronica, este proyecto es llevado acabo en la materiana Pensamiento Algoritmico y dirigido por el profesor Offray Luna. estos archivos wiki son elaborados apartir de un libro guia titulado Matematica Discreta Y logica por el señor winfried karl grassman y jean-paul tremblay.

El siguiente ejercicio fue extraido del libro discrete mathematicas and its applications

EXERCISES 1.2

pagina 19

6. verify the equivalence $\lnot \;$

• (P$\land \;$ Q) $\leftrightarrow \;$ $\lnot \;$P $\vee \;$ $\lnot \;$ Q

PARA PODE VERIFICAR LA RAZON DE VERDAD EN ESTE EJERCICIO LO QUE SE DEVE HACER ES ASIGNARLE VALORES DE VERDAD A CADA UNA DE LAS PARTES DE LA PROPOSICION:

A.EVALUAMOS CUANDO:

P ES VERDADERO Q ES VERDADERO

• (P$\land \;$ Q) $\leftrightarrow \;$ $\lnot \;$P $\vee \;$ $\lnot \;$ Q

• (V$\land \;$V ) $\leftrightarrow \;$ $\lnot \;$V $\vee \;$ $\lnot \;$ V

• VERDADERO $\leftrightarrow \;$ FALSO

• FALSO

B.EVALUAMOS CUANDO:

P ES FALSO Q ES FALSO

• (P$\land \;$ Q) $\leftrightarrow \;$ $\lnot \;$P $\vee \;$ $\lnot \;$ Q

• (F$\land \;$F) $\leftrightarrow \;$ $\lnot \;$F $\vee \;$ $\lnot \;$ F

• FALSO $\leftrightarrow \;$ VERDADERO

• FALSO

C.EVALUAMOS CUANDO:

P ES FALSO Q ES VERDADERO

• (P$\land \;$ Q) $\leftrightarrow \;$ $\lnot \;$P $\vee \;$ $\lnot \;$ Q

• (V$\land \;$F) $\leftrightarrow \;$ $\lnot \;$V $\vee \;$ $\lnot \;$ F

• FALSO $\leftrightarrow \;$ VERDADERO

• FALSO

D.EVALUAMOS CUANDO:

P ES VERDADERO Q ES FALSO

• (P$\land \;$ Q) $\leftrightarrow \;$ $\lnot \;$P $\vee \;$ $\lnot \;$ Q

• (F$\land \;$V) $\leftrightarrow \;$ $\lnot \;$F $\vee \;$ $\lnot \;$ V

• FALSO $\leftrightarrow \;$ VERDADERO

• FALSO

POR TANTO SEA CUAL SEA EL VALOR DE VERDAD EL RESULTADO DE LA PROPOSICION ES FALSO.