What is the dual concept in truth tables?

Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
5 replies · 3K views
Suyash Singh
Messages
168
Reaction score
1

Homework Statement


upload_2018-5-27_9-28-37.png

What is dual?

Homework Equations

The Attempt at a Solution


Not on net. Meaning of dual i don't know and can't find.
 

Attachments

  • upload_2018-5-27_9-28-37.png
    upload_2018-5-27_9-28-37.png
    487 bytes · Views: 1,324
Physics news on Phys.org
Suyash Singh said:

Homework Statement


View attachment 226222
What is dual?

Homework Equations

The Attempt at a Solution


Not on net. Meaning of dual i don't know and can't find.
In layman's terms, Duality principle just says that you replace each and every 'and' with 'or' & vice-versa; every 't (tautology)' with 'c(contradiction)'
So first you express 'p implies q' in an equivalent form of 'ands' and 'ors', same thing again with the whole expression, and then apply the dual.
Keep in mind that you don't touch the negations (if any) in the expression. For further reading, visit Boolean algebra - Wikipedia.
 
baldbrain said:
In layman's terms, Duality principle just says that you replace each and every 'and' with 'or' & vice-versa; every 't (tautology)' with 'c(contradiction)'
So first you express 'p implies q' in an equivalent form of 'ands' and 'ors', same thing again with the whole expression, and then apply the dual.
Keep in mind that you don't touch the negations (if any) in the expression. For further reading, visit Boolean algebra - Wikipedia.

Not sure If I understood correctly. Do we just take the contrapositive of this statement? It is the first time I hear the word dull.
or do you mean 'p implies q' is equivalent to not P ∨ Q ?
 
MidgetDwarf said:
Not sure If I understood correctly. Do we just take the contrapositive of this statement? It is the first time I hear the word dual.
or do you mean 'p implies q' is equivalent to not P ∨ Q ?
No, not contrapositive.
For a second, forget about duals & everything.
Using truth tables, prove that p→q ≡ ~p v q.
Then, just replace 'v' by '∧' without doing anything to the negation and without changing anything else. If, there's any t or c as I mentioned above, you interchange them as well.