Question 986768
<table border=1><tr><th>Number</th><th>Statement</th><th>Lines Used</th><th>Reason</th></tr><tr><td>1</td><td>(E * I) v (M * U)</td><td></td><td></td></tr><tr><td>2</td><td>~E</td><td></td><td></td></tr><tr><td>:.</td><td>~(E v ~M)</td><td></td><td></td></tr><tr><td>3</td><td>[(E * I) v M] * [(E * I) v U]</td><td>1</td><td>Distribution</td></tr><tr><td>4</td><td>(E * I) v M</td><td>3</td><td>Simplification</td></tr><tr><td>5</td><td>M v (E * I)</td><td>4</td><td>Commutation</td></tr><tr><td>6</td><td>(M v E) * (M v I)</td><td>5</td><td>Distribution</td></tr><tr><td>7</td><td>M v E</td><td>6</td><td>Simplification</td></tr><tr><td>8</td><td>E v M</td><td>7</td><td>Commutation</td></tr><tr><td>9</td><td>M</td><td>8,2</td><td>Disjunctive Syllogism</td></tr><tr><td>10</td><td>~E * M</td><td>2,9</td><td>Conjunction</td></tr><tr><td>11</td><td>~(~~E v ~M)</td><td>10</td><td>De Morgan's Law</td></tr><tr><td>12</td><td>~(E v ~M)</td><td>11</td><td>Double Negation</td></tr></table>