Usuario:Hernandez.o/ejercicio 20

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

EJERCICIO 4 PAGINA 19


4. USE TRUTH TABLES TO VERIFY THE ASSOCIATE LAWS

*1) (P V Q) V R P V (Q V R)

*2) P Q R P (Q R)

DESARROLLO

*1) (P V Q) V R P V (Q V R)

ASIGNAMOS VALORES DE VERDAD DE LA SIGUIENTE MANERA PARA OBTENER SU RAZON DE VERDAD

P=VERDADERO

Q=VERDADERO

R=FALSO

  • (P V Q) V R P V (Q V R)
  • (V V V) V F V V (V V F)
  • V V F V V V
  • V V
  • VERDADERO

P=VERDADERO

Q=FALSO

R=FALSO

  • (P V Q) V R P V (Q V R)
  • (V V F) V F V V (F V F)
  • V V F V V F
  • V V
  • VERDADERO

P=FALSO

Q=FALSO

R=FALSO

  • (P V Q) V R P V (Q V R)
  • (F V F) V F F V (F V F)
  • F V F F V F
  • F F
  • VERDADERO

P=VERDADERO

Q=VERDADERO

R=VERDADERO

  • (P V Q) V R P V (Q V R)
  • (V V V) V V V V (V V V)
  • V V V V V V
  • V V
  • VERDADERO

*2) P Q R P (Q R)


ASIGNAMOS VALORES DE VERDAD DE LA SIGUIENTE MANERA PARA OBTENER SU RAZON DE VERDAD

P=VERDADERO

Q=VERDADERO

R=FALSO

  • P Q R P (Q R)
  • V V F V (V F)
  • V F V F
  • F F
  • VERDADERO


P=VERDADERO

Q=FALSO

R=FALSO

  • P Q R P (Q R)
  • V F F V (F F)
  • F F F F
  • F F
  • VERDADERO


P=FALSO

Q=FALSO

R=FALSO

  • P Q R P (Q R)
  • F F F F (F F)
  • F F F F
  • F F
  • VERDADERO


P=VERDADERO

Q=VERDADERO

R=VERDADERO

  • P Q R P (Q R)
  • V V V V (V V)
  • V V V V
  • V V
  • VERDADERO