1. A v (B · C) 2. ~ A · D ∴ B -------------------------------- 3. ~A 2 Simplification 4. B · C 1,3 Disjunctive Syllogism 5. B 4 Simplification