Question 981327
<font face="Times New Roman" size="+2">

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
*[tex \LARGE e^{i\pi}\ +\ 1\ =\ 0]
My calculator said it, I believe it, that settles it

*[tex \Large \ \
*[tex \LARGE \ \ \ \ \ \ \ \ \ \