Proving De Morgan Duality Law for Electrical Engineering

  • Context: Undergrad 
  • Thread starter Thread starter soul
  • Start date Start date
  • Tags Tags
    Duality
Click For Summary

Discussion Overview

The discussion revolves around the attempts to prove De Morgan's duality law, particularly in the context of electrical engineering and its applications in digital circuit design. Participants are exploring the definitions and implications of the law as it relates to logical propositions and circuit functions.

Discussion Character

  • Exploratory, Technical explanation, Debate/contested, Homework-related

Main Points Raised

  • One participant expresses difficulty in proving De Morgan's duality law and seeks assistance.
  • Another participant suggests that proving the specific statements of De Morgan's laws might suffice, questioning what the original poster means by "De Morgan duality law."
  • A third participant connects the discussion to digital circuit design, proposing that the relationship between F = A + B and F^D = A.B exemplifies duality.
  • A fourth participant expresses a lack of familiarity with digital circuit design and seeks clarification on what exactly needs to be proven regarding propositions.

Areas of Agreement / Disagreement

Participants do not appear to reach a consensus on the specific nature of De Morgan's duality law or the proof required, indicating multiple competing views and unresolved questions.

Contextual Notes

There are limitations regarding the definitions of terms used, as well as the specific mathematical steps required to establish the proofs, which remain unresolved.

soul
Messages
61
Reaction score
0
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?
 
Physics news on Phys.org
If you are talking about statement[/url], 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"?
 
Last edited by a moderator:
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?
 
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)
 

Similar threads

  • · Replies 36 ·
2
Replies
36
Views
9K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 15 ·
Replies
15
Views
4K
  • · Replies 14 ·
Replies
14
Views
137K
  • · Replies 18 ·
Replies
18
Views
4K
  • · Replies 32 ·
2
Replies
32
Views
4K
Replies
4
Views
3K
  • · Replies 1 ·
Replies
1
Views
4K
  • · Replies 24 ·
Replies
24
Views
4K
  • · Replies 7 ·
Replies
7
Views
3K