Math Is Fun Forum
  Discussion about math, puzzles, games and fun.   Useful symbols: ÷ × ½ √ ∞ ≠ ≤ ≥ ≈ ⇒ ± ∈ Δ θ ∴ ∑ ∫ • π ƒ -¹ ² ³ °

You are not logged in.

#26 2013-08-13 22:12:05

dee93
Member
Registered: 2013-08-12
Posts: 19

Re: Converting boolean expression into disjunctive normal form

bob bundy wrote:

see diagram

Then decide which boxes to shade

Bob

2 on far right,and 1 on botton left same as post #17?

Last edited by dee93 (2013-08-13 22:45:30)

Offline

#27 2013-08-14 01:12:19

bob bundy
Moderator
Registered: 2010-06-20
Posts: 6,092

Re: Converting boolean expression into disjunctive normal form

hi dee93

It cannot be the same as the other question because the logic statements are different.

Let's go back to first principles. 

pq' means p is true and not q is true (or q is false)

A karnaugh map is a way of showing a logic expression diagrammatically.  It does a similar job to the venn diagrams I did earlier but copes better when the number of variables goes up.

In the boxes you can put expressions like pq'r or use 0 for false an d 1 for true (101 for this case) or express the logic in words: p true, q false, r true.  Below I've taken the earlier diagram and added more labels to show what each box means.

The problem you are trying to do is abc + ac

I would write that as (a AND b AND c) OR (a AND c)

abc is a single box as it represents the case where all three are true.

ac means that a AND c are both true but b can be either.  Because of this it will take two boxes.

But that does not mean that you will end up with three boxes shaded because one box is repeated.

Hope that helps.

Bob

View Image: dee93f.gif

You cannot teach a man anything;  you can only help him find it within himself..........Galileo Galilei

Online

#28 2013-08-14 01:23:26

dee93
Member
Registered: 2013-08-12
Posts: 19

Re: Converting boolean expression into disjunctive normal form

bob bundy wrote:

hi dee93

It cannot be the same as the other question because the logic statements are different.

Let's go back to first principles. 

pq' means p is true and not q is true (or q is false)

A karnaugh map is a way of showing a logic expression diagrammatically.  It does a similar job to the venn diagrams I did earlier but copes better when the number of variables goes up.

In the boxes you can put expressions like pq'r or use 0 for false an d 1 for true (101 for this case) or express the logic in words: p true, q false, r true.  Below I've taken the earlier diagram and added more labels to show what each box means.

The problem you are trying to do is abc + ac

I would write that as (a AND b AND c) OR (a AND c)

abc is a single box as it represents the case where all three are true.

ac means that a AND c are both true but b can be either.  Because of this it will take two boxes.

But that does not mean that you will end up with three boxes shaded because one box is repeated.

Hope that helps.

Bob

i've attempted to do it but unable to draw diagrams on here can you work it out so i can confirm mine is correct?

Offline

#29 2013-08-14 04:12:57

bob bundy
Moderator
Registered: 2010-06-20
Posts: 6,092

Re: Converting boolean expression into disjunctive normal form

Compare with post 12

B


You cannot teach a man anything;  you can only help him find it within himself..........Galileo Galilei

Online

Board footer

Powered by FluxBB