How Do I Prove This Tautology?

  • #1

Homework Statement



[ (p or r) & (not(p) or r) ] ---> r is a tautology. Prove this without using truth tables.

Homework Equations



See above. not(p) = !p = p' = the opposite value of p and ---> is an implication.

The Attempt at a Solution



I have made some prior simplification, and that is what I have at present. I don't know where to go from here. Expanding the terms seems to make things too complicated. Is there a shorter way?

Any help would be greatly appreciated!
 

Answers and Replies

  • #2
Nevermind, I've solved it! For anyone interested in the solution, I just had to distribute the implication and then expanding was a lot quicker!
 

Related Threads on How Do I Prove This Tautology?

Replies
11
Views
824
  • Last Post
Replies
7
Views
1K
  • Last Post
Replies
3
Views
4K
  • Last Post
Replies
9
Views
838
  • Last Post
Replies
4
Views
2K
  • Last Post
Replies
10
Views
942
  • Last Post
Replies
1
Views
1K
Replies
11
Views
7K
  • Last Post
Replies
8
Views
895
  • Last Post
Replies
19
Views
2K
Top