Symbolic Logic (Natural Deduction)

1. Use natural deduction to prove that the following argument is valid.

¬(¬A & B), ¬(¬B ∨ C) ⊢ A

2. Use natural deduction to demonstrate that the following sentence is a tautology.

A v (¬A v B)