Conjunctive/disjunctive normal form

  • Thread starter XodoX
  • Start date
  • #1
203
0

Main Question or Discussion Point

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
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.
 

Related Threads on Conjunctive/disjunctive normal form

Replies
1
Views
3K
Replies
4
Views
3K
Replies
1
Views
16K
Replies
6
Views
226
Replies
1
Views
2K
Replies
5
Views
1K
Replies
12
Views
9K
  • Last Post
Replies
2
Views
2K
  • Last Post
Replies
1
Views
2K
  • Last Post
Replies
4
Views
1K
Top