<PRE><B>Question 996914</B>

&lt;table border=1&gt;&lt;tr&gt;&lt;th&gt;Number&lt;/th&gt;&lt;th&gt;Statement&lt;/th&gt;&lt;th&gt;Lines Used&lt;/th&gt;&lt;th&gt;Reason&lt;/th&gt;&lt;/tr&gt;&lt;tr&gt;&lt;td&gt;1&lt;/td&gt;&lt;td&gt;(A -&amp;gt; B) v (C * D)&lt;/td&gt;&lt;td&gt;&lt;/td&gt;&lt;td&gt;&lt;/td&gt;&lt;/tr&gt;&lt;tr&gt;&lt;td&gt;2&lt;/td&gt;&lt;td&gt;A&lt;/td&gt;&lt;td&gt;&lt;/td&gt;&lt;td&gt;&lt;/td&gt;&lt;/tr&gt;&lt;tr&gt;&lt;td&gt;:.&lt;/td&gt;&lt;td&gt;~B -&amp;gt; C&lt;/td&gt;&lt;td&gt;&lt;/td&gt;&lt;td&gt;&lt;/td&gt;&lt;/tr&gt;&lt;tr&gt;&lt;td&gt;3&lt;/td&gt;&lt;td&gt;(~A v B) v (C * D)&lt;/td&gt;&lt;td&gt;1&lt;/td&gt;&lt;td&gt;MI&lt;/td&gt;&lt;/tr&gt;&lt;tr&gt;&lt;td&gt;4&lt;/td&gt;&lt;td&gt;[(~A v B) v C] * [(~A v B) v D]&lt;/td&gt;&lt;td&gt;3&lt;/td&gt;&lt;td&gt;Dist&lt;/td&gt;&lt;/tr&gt;&lt;tr&gt;&lt;td&gt;5&lt;/td&gt;&lt;td&gt;[(~A v B) v C]&lt;/td&gt;&lt;td&gt;4&lt;/td&gt;&lt;td&gt;Simp&lt;/td&gt;&lt;/tr&gt;&lt;tr&gt;&lt;td&gt;6&lt;/td&gt;&lt;td&gt;~A v (B v C)&lt;/td&gt;&lt;td&gt;5&lt;/td&gt;&lt;td&gt;Assoc&lt;/td&gt;&lt;/tr&gt;&lt;tr&gt;&lt;td&gt;7&lt;/td&gt;&lt;td&gt;~~A&lt;/td&gt;&lt;td&gt;2&lt;/td&gt;&lt;td&gt;DN&lt;/td&gt;&lt;/tr&gt;&lt;tr&gt;&lt;td&gt;8&lt;/td&gt;&lt;td&gt;B v C&lt;/td&gt;&lt;td&gt;6,7&lt;/td&gt;&lt;td&gt;DS&lt;/td&gt;&lt;/tr&gt;&lt;tr&gt;&lt;td&gt;9&lt;/td&gt;&lt;td&gt;~~B v C&lt;/td&gt;&lt;td&gt;8&lt;/td&gt;&lt;td&gt;DN&lt;/td&gt;&lt;/tr&gt;&lt;tr&gt;&lt;td&gt;10&lt;/td&gt;&lt;td&gt;~B -&amp;gt; C&lt;/td&gt;&lt;td&gt;9&lt;/td&gt;&lt;td&gt;MI&lt;/td&gt;&lt;/tr&gt;&lt;/table&gt;

Acroynyms/Abbreviations Used:


MI = Material Implication
Dist = Distribution
Assoc = Association
Simp = Simplification
DN = Double Negation
DS = Disjunctive Syllogism</PRE>