Truth table for p->(qV r) is follows:
p q r qVr p-> (qVr)
F F F F T
F F T T T
F T F T T
F T T T T
T F F F F
T F T T T
T T F T T
T T T T T
Truth table for (p∧∼r)→q
p q r (p∧∼r)→q
F F F T
F F T T
F T F T
F T T T
T F F F
T F T T
T T F T
T T T T
Hence both truth tables gives same output. Hence they are equal.
Below is the venn diagram given for each case.
t- Traditional
D- Diary
F- fastfood
Comments
Leave a comment