document.write( "Question 1091271: I need some help with this question. I am confused as to how to write this out, please show me how you get to each step.\r
\n" ); document.write( "\n" ); document.write( "Regular Proof:\r
\n" ); document.write( "\n" ); document.write( "1.(D*E)v(~D*~E)
\n" ); document.write( "2.(H*J)>~(D=E)
\n" ); document.write( "3.~~HvJ / J=~H\r
\n" ); document.write( "\n" ); document.write( "Thanks! \n" ); document.write( "

Algebra.Com's Answer #706124 by jim_thompson5910(35256) $\"\"$ $\"About$

You can put this solution on YOUR website!

\n" ); document.write( "Note: I'm using the ampersand symbol & in place of the asterisk\r
\n" ); document.write( "
\n" ); document.write( "\n" ); document.write( "This is one way to do the derivation
\n" ); document.write( "\n" ); document.write( "\n" ); document.write( "

Number	Statement	Lines Used	Reason
1	(D & E) v (~D & ~E)
2	(H & J) > ~(D = E)
3	~~H v J
:.	J = ~H
4	~H > J	3	Material Implication
5	D = E	1	Material Equivalence
6	~~(D = E)	5	Double Negation
7	~(H & J)	2,6	Modus Tollens
8	~H v ~J	7	De Morgan's Law
9	~J v ~H	8	Commutation
10	~~J > ~H	9	Material Implication
11	J > ~H	10	Double Negation
12	(J > ~H) & (~H > J)	11,4	Conjunction
13	J = ~H	12	Material Equivalence

\n" ); document.write( " \n" ); document.write( "

\n" );