Conjunctive/disjunctive normal form

  • Thread starter XodoX
  • Start date
  • #1
XodoX
203
0
Let's say I have p<-> q.. how do I get the disjunctive and conjunctive normal form ? I think I'd have to apply DeMorgan to get one of them. I don't know. Can anybody please explain this to me?
 

Answers and Replies

  • #2
ych22
115
1
p<->q = (p [tex]\wedge[/tex] q) [tex]\vee[/tex] (~p [tex]\wedge[/tex] ~q)
=(p [tex]\wedge[/tex] q) [tex]\vee[/tex] (~p [tex]\wedge[/tex] ~q) [tex]\vee[/tex] (p [tex]\wedge[/tex] ~p) [tex]\vee[/tex] (q [tex]\wedge[/tex] ~q)
=(~p [tex]\vee[/tex] q) [tex]\wedge[/tex] (~q [tex]\vee[/tex] p)

So, the form in red is DNF, while the form in blue is CNF.
 

Suggested for: Conjunctive/disjunctive normal form

Replies
6
Views
1K
Replies
3
Views
886
Replies
6
Views
1K
Replies
25
Views
780
  • Last Post
2
Replies
39
Views
2K
Replies
10
Views
540
Replies
4
Views
449
Replies
5
Views
504
Replies
1
Views
478
Top