SOLUTION: Construct a proof for the following: 1. ~C 2. (~A * B) v (~A * C). .·. B

Algebra ->  Proofs -> SOLUTION: Construct a proof for the following: 1. ~C 2. (~A * B) v (~A * C). .·. B      Log On


   

Question 1171296: Construct a proof for the following:
1. ~C
2. (~A * B) v (~A * C). .·. B
Answer by Edwin McCravy(20054) About Me  (Show Source):
You can put this solution on YOUR website!

1. ~C
2. (~A * B) v (~A * C).        .·. B

3. ~A * (B v C)            2, Distribution
4. (B v C) * ~A            3, Commutation
5. B v C                   4, Simplification
6. C v B                   5, Commutation
7. B                       6,1 Disjunctive Syllogism

Edwin