Question 981102
Abbreviations/Acronyms Used


DM = De Morgan's Law
DN = Distribution
Simp = Simplification
MT = Modus Tollens
Add = Addition


<table border=1><tr><th>Number</th><th>Statement</th><th>Lines Used</th><th>Reason</th></tr><tr><td>1</td><td>F &gt; (H &amp; J)</td><td></td><td></td></tr><tr><td>2</td><td>~H v ~(J v W)</td><td></td><td></td></tr><tr><td>:.</td><td>~F v W</td><td></td><td></td></tr><tr><td>3</td><td>~H v (~J &amp; ~W)</td><td>2</td><td>DM</td></tr><tr><td>4</td><td>(~H v ~J) &amp; (~H v ~W)</td><td>3</td><td>Dist</td></tr><tr><td>5</td><td>~H v ~J</td><td>4</td><td>Simp</td></tr><tr><td>6</td><td>~(H &amp; J)</td><td>5</td><td>DM</td></tr><tr><td>7</td><td>~F</td><td>1,6</td><td>MT</td></tr><tr><td>8</td><td>~F v W</td><td>7</td><td>Add</td></tr></table>