Complete the following proof: 1.-(-X.-L) 2.-K.X) 3. ~(~LDE) -(K VE) ***** FORMATTING INSTRUCTIONS: Copy/paste these symbols (~V=) or type these symbols (~&v> =) as necessary. NUMBER each new line and press ENTER/RETURN between each line. ANNOTATE/JUSTIFY each new line you create with 'from' numbers and rule name. Use PARENTHESES where necessary. If you use CP or IP, it is not necessary to indent those sections. Complete the following proof: 1.-(-X.-L) 2.-K.X) 3. ~(~LDE) -(K VE) ***** FORMATTING INSTRUCTIONS: Copy/paste these symbols (~V=) or type these symbols (~&v> =) as necessary. NUMBER each new line and press ENTER/RETURN between each line. ANNOTATE/JUSTIFY each new line you create with 'from' numbers and rule name. Use PARENTHESES where necessary. If you use CP or IP, it is not necessary to indent those sections