contestada

Prove ¬(P ∨ Q) ↔ (¬P ∧ ¬Q) . You may not use the de Morgan laws here: that is what you are trying to prove. You need to use the proof strategies in this document. I present the other de Morgan law as an example below to illustrate some points that will be needed to complete this proof. *without using truth tables