Question 996083
<table border=1><tr><th>Number</th><th>Statement</th><th>Lines Used</th><th>Reason</th></tr><tr><td>1</td><td>R v V</td><td></td><td></td></tr><tr><td>2</td><td>R --&gt; (H &amp; S)</td><td></td><td></td></tr><tr><td>3</td><td>V --&gt; (H &amp; N)</td><td></td><td></td></tr><tr><td>:.</td><td>H &amp; (S v N)</td><td></td><td></td></tr><tr><td>4</td><td>[ R --&gt; (H &amp; S) ] &amp; [ V --&gt; (H &amp; N) ]</td><td>2,3</td><td>Conj</td></tr><tr><td>5</td><td>(H &amp; S) v (H &amp; N)</td><td>4,1</td><td>CD</td></tr><tr><td>6</td><td>H &amp; (S v N)</td><td>5</td><td>Dist</td></tr></table>

Acronyms/Abbreviations used
CD = Constructive Dilemma
Conj = Conjunction
Dist = Distribution