# Math Help - Derive (AVB)V(BVC)

1. ## Derive (AVB)V(BVC)

Derive (AVB)V(BVC)

1| (AVC)VB ASS

So far I have:

1| (AVC)VB ASS
2|

Yeah, I can't even get to the next line :/ I suck at these....is the answer just too obvious?

2. ## Re: Derive (AVB)V(BVC)

Use disjunction elimination on 1.

3. ## Re: Derive (AVB)V(BVC)

hey did you ever get the answer, divinelogos

4. ## Re: Derive (AVB)V(BVC)

Is the problem to derive (A ∨ B) ∨ (B ∨ C) from the assumption (A ∨ C) ∨ B? One needs to do disjunction elimination on the assumption, then again disjunction elimination on A ∨ C.