👤

Justify each step in the proof sequence of
A' ∧ B [ B-> (A ∨ C) ] -> C

1. A'
2. B
3. B-> (A ∨ C)
4. A ∨ C
5. (A')' ∨ C
6. A'-> C
7. C​