You are on page 1of 2

( P v Q ) <--> ( -P --> -Q ) v R

p q R -P -Q (P v Q) ( -P --> -Q ) ( P v Q ) <--> ( -P --> -Q )


T T T F F T T T
T F F F T T T T
F T T T F T F F
F F F T T F T F
( P v Q ) <--> ( -P --> -Q ) v R
T
F
T
F

You might also like