Ask
Login
0
17kviews
Prove p^ (qVr) and (p^ q)V(p^r) are logically equivalent.
written 7.4 years ago by gravatar for teamques10 teamques10 ★ 65k modified 2.3 years ago by gravatar for pedsangini276 pedsangini276 • 4.8k

Mumbai University > Computer Engineering > Sem 3 > Discrete Structures

Marks: 5 Marks

Year: May 2015
discrete mathematics
ADD COMMENT EDIT
1 Answer
0
2.8kviews
written 7.4 years ago by gravatar for teamques10 teamques10 ★ 65k

Consider Truth table for above expression:

p q r q V r p ^ (q v r) p ^ q p ^ r (p ^ q) V (q ^ r)
T T T T T T T T
T T F T T T T F
T F T T T F T T
T F F F F F F F
F T T T F F F F
F T F T F F F F
F F T T F F F F
F F F F F F F F

Since column 5 and 8 are same.

Hence, p^ (q V r) and (p^ q) V (p ^ r) are logically equivalent
ADD COMMENT EDIT
Please log in to add an answer.