De Morgan duality

  1. 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?
     
  2. jcsd
  3. CompuChip

    CompuChip 4,297
    Science Advisor
    Homework Helper

    If you are talking about this statement, isn't it enough to just prove
    | not (P and Q) <=> (not P) or (not Q)
    | not (P or Q) <=> (not P) and (not Q)

    and if not, what exactly do you call the "de Morgan duality law"?
     
  4. I tried to ask the application in digital circuit design. For example, F = A + B and F^D = A.B
    Isn't it duality law?
     
  5. CompuChip

    CompuChip 4,297
    Science Advisor
    Homework Helper

    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)
     
Know someone interested in this topic? Share a link to this question via email, Google+, Twitter, or Facebook

Have something to add?