You are on page 1of 2

1.

t^¬ r

t r ¬r t^¬ r

v v f f

v f v v

f v f f

f f v f

2. (t v s) v r

t s r (t v s) (t v s) vr
v v v v v
v v f v v
v f v v v
v f f v v
f v v v v
f v f v v
f f v f v
f f f f f

Junior Aurelio Martinez Paredes / A00149808


3. (t v s) v r

t s r (t v s) (t v s) v r
v v v v f
v v f v v
v f v v f
v f f v v
f v v v f
f v f v v
f f v f v
f f f f f

z g h ¬Z (¬ Z ∧ G) (¬ Z ∧ G) → H

v v v f f v
v v f f f v
v f v f f v
v f f f f v
f v v v v v
f v f v v f
f f v v f v
f f f v f v

Junior Aurelio Martinez Paredes / A00149808

You might also like