You are on page 1of 6

{[(p → q) ˄ p] → q} ˅ (r ˄ q)

V V V V V V V V V V V
V V V V V V V V F F V
V F F F V V F V V F F
V F F F V V F V F F F
F V V F F V V V V V V
F V V F F V V V F F V
F V F F F V F V V F F
F V F F F V F V F F F

{[(p → q) ˄ p]} → [q ˅ (r ˄ p)]


V V V V V V V V V V V
V V V V V V V V F F V
V F F F V V F V V V V
V F F F V V F F F F V
F V V F F V V V V F F
F V V F F V V V F F F
F V F F F V F V V F F
F V F F F V F F F F F

[(~ p ˄ q) → ~ r] ↔ [r ˄ ~ (p ˅ ~
F V F V F F V V V F F V V F
F V F V V V F F F F F V V F
F V F F V F V F V F F V V V
F V F F V V F F F F F V V V
V F V V F F V F V V V F F F
V F V V V V F F F F V F F F
V F F F V F V F V F F F V V
V F F F V V F F F F F F V V

[(q ˅ p) ˄ ~ p] → [(r → s) ˅ p]
v V v F F v V v V v V v
v V v F F v V v F f V v
v V v F F v V f V v V v
v V v F F v V f V f V v
f V v F F v V v V v V v
f V v F F v V v F f V v
f V v F F v V f V v V v
f V v F F v V f V f V v
v V f V V f V v V v V f
v V f V V f F v F f F f
v v f V V f V f V v V f
v v f V V f V f V f V f
f f f F V f V v V v V f
f f f F V f V v F f F f
f f f F V f V f V v V f
f f f F V f V f V f V f

[(p → q) ˄ (q → r)] → (p → r)
V V V V V V V V V V V
V V V F V F F V V F F
V F F F F V V V V V V
V F F F F V F V V F F
F V V V V V V V F V V
F V V F V F F V F V F
F V F V F V V V F V V
F V F V F V F V F V F

(p ˅ q) → [(~ q ↔ ~ r) ˄ ~ p
V V V F F V V F V F F V
V V V F F V F V F F F V
V V F F V F F F V F F V
V V F F V F V V F F F V
F V V V F V V F V V V F
F V V F F V F V F F V F
F F F V V F F F V F V F
F F F V V F V V F V V F

[(p → q) ˄ (q → r)] → (p → r)
V V V V V V V V V V V
V V V F V F F V V F F
V F F F F V V V V V V
V F F F F V F V V F F
F V V V V V V F F V V
F V V F V F F V F V F
F V F V F V V F F V V
F V F V F V F F F V F

[~ p ˄ (q ˅ r)] ↔ [(p ˅ r) ˄ q]
F V F V V V F V V V V V
F V F V V F F V V F V V
F V F F V V V V V V F F
F V F F F F V V V F F F
V F V V V V V F V V V V
V F V V V F F F F F F V
V F V F V V F F V V F F
V F F F F F V F F F F F
[(p ˅ q) ˄ r] → {~ p ˅ [p ˄ (~ p →
V V V V V V F V V V V F V V
V V V F F V F V V V V F V V
V V F V V V F V V V V F V V
V V F F F V F V V V V F V V
F V V V V V V F V F F V F V
F V V F F V V F V F F V F V
F F F F V V V F V F F V F F
F F F F F V V F V F F V F F

(p ˅ q) ˄ [(q → p) → (p → q)]
V V V V V V V V V V V
V V F F F V V F V F F
F V V V V F F V F V V
F F F F F V F V F V F
q)]
V
V
F
F
V
V
F
F
q)]}
V
V
F
F
V
V
F
F

You might also like