Question 981104
<table border=1><tr><th>Number</th><th>Statement</th><th>Lines Used</th><th>Reason</th></tr><tr><td>1</td><td>(V v ~R) &gt; C</td><td></td><td></td></tr><tr><td>2</td><td>(~C &amp; M) v (F &amp; ~C)</td><td></td><td></td></tr><tr><td>:.</td><td>R</td><td></td><td></td></tr><tr><td>3</td><td>(~C &amp; M) v (~C &amp; F)</td><td>2</td><td>Commutation</td></tr><tr><td>4</td><td>~C &amp; (M v F)</td><td>3</td><td>Distribution</td></tr><tr><td>5</td><td>~C</td><td>4</td><td>Simplification</td></tr><tr><td>6</td><td>~(V v ~R)</td><td>1,5</td><td>Modus Tollens</td></tr><tr><td>7</td><td>~V &amp; ~~R</td><td>6</td><td>De Morgan's Law</td></tr><tr><td>8</td><td>~V &amp; R</td><td>7</td><td>Double Negation</td></tr><tr><td>9</td><td>R &amp; ~V</td><td>8</td><td>Commutation</td></tr><tr><td>10</td><td>R</td><td>9</td><td>Simplification</td></tr></table>