I had many unsuccessful attempt to prove De Morgan duality law, for the application in electrical enginnering. Is there anyone who can help me about this?
I don't know, I'm not into digital circuit design.
But what exactly do you want to prove? That if F is a proposition, so is F^D? (That's what I make out of this reference)