Usuario:Cheche8/ejercicio 7

Ejercicios 1.1

22.

Contruct a true table for each of the following compoud propositions.

a) p$\oplus$p

b) p$\oplus$$\sim$p

c) p$\oplus$$\sim$q

d) $\sim$p$\oplus$$\sim$q

e) (p$\oplus$q)$\lor$(p$\oplus$$\sim$q)

f) (p$\oplus$q)$\land$(p$\oplus$$\sim$q)

solucion

a)

  p$\oplus$p
  v v v
  v f f
  f f v
  f v f

b)

  p$\oplus$$\sim$p
  v f f
  v f f
  f f v
  f f v

c)

  p$\oplus$$\sim$q
  v f  f
  v v  v
  f f  v
  f v  f

d)

  $\sim$p$\oplus$$\sim$q
    f v f
    f f v
    v f f
    v v v

e)

    (p$\oplus$q)$\lor$(p$\oplus$$\sim$q)
    v v v  v  v f f
    v f f  v  v v v
    f f v  f  f f v
    f v f  v  f v f

f)

   (p$\oplus$q)$\land$(p$\oplus$$\sim$q)
    v v v  f  v f  f   
    v f f  f  v v  v
    f f v  v  f f  v
    f v f  v  f v  f