- #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?

- Thread starter XodoX
- Start date

- #1

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

- #2

- 115

- 1

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

- Last Post

- 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