Question

When dealing with proofs using laws of logic, can i combine DeMorgan and Double Negation into one step?

Answer 1

yes of course you can but you should mention the laws when situation demands like in exams.......\[negation(a \Lambda b) is equal \to (negation(a)\nu negation(b)\] is what demorgan states......if any variable as a in above case is already having negation you can directly write as\[negation(negation(a)\Lambda b) is equal \to (a \nu negation(b))\]