SOLUTION: use rules of implication and only DeMorgan, commutativity, associativity, distrubution, and double negation from rules of replacement please help
~X
Bv(KvX)
(BvK)>~B
/K
Algebra ->
Proofs
-> SOLUTION: use rules of implication and only DeMorgan, commutativity, associativity, distrubution, and double negation from rules of replacement please help
~X
Bv(KvX)
(BvK)>~B
/K
Log On
Question 981327: use rules of implication and only DeMorgan, commutativity, associativity, distrubution, and double negation from rules of replacement please help
~X
Bv(KvX)
(BvK)>~B
/K Answer by solver91311(24713) (Show Source):
You can put this solution on YOUR website!
1. ~X
2. Bv(KvX)
3. (BvK)>~B
/K
4. (BvK)vX from 2 by Associativity
5. BvK from 1, 4 by Disjunctive Syllogism
6. ~B from 5, 3 by Modus Ponens
7. K from 5, 6 by Disjunctive Syllogism QED.
John
My calculator said it, I believe it, that settles it
