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

1.   ~E
2.   ~(E &#9679; D) &#8594; F
3.   (~F V B) &#9679; (~F V C)   |  A V (B &#9679; C)
-----------------------------------------
4.   ~E V ~D               1     Disjunction Introduction
5.   ~(E &#9679; D)              4     De Morgan
6.   F                     2, 5  Modus Ponens
7.   (~F V B)              3     Conjunction Elimination
8.   B                     6, 7  Disjunctive Syllogism
9.   (~F V C)              3     Conjunction Elimination
10.  C                     6, 9  Disjunctive Syllogism
11.  B &#9679; C                 8, 10 Conjunction Introduction
12.  .: A V (B &#9679; C)        11    Disjunction Introduction

&#9632;
</pre>

John
*[tex \LARGE e^{i\pi}\ +\ 1\ =\ 0]
My calculator said it, I believe it, that settles it

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