- #1

Femme_physics

Gold Member

- 2,547

- 1

**A little electronics question about logical gates....**

Basically I want to see if I got it right?

http://img853.imageshack.us/img853/7681/laster.jpg [Broken]

Last edited by a moderator:

You are using an out of date browser. It may not display this or other websites correctly.

You should upgrade or use an alternative browser.

You should upgrade or use an alternative browser.

- Thread starter Femme_physics
- Start date

- #1

Femme_physics

Gold Member

- 2,547

- 1

Basically I want to see if I got it right?

http://img853.imageshack.us/img853/7681/laster.jpg [Broken]

Last edited by a moderator:

- #2

ehild

Homework Helper

- 15,543

- 1,912

Basically I want to see if I got it right?

http://img853.imageshack.us/img853/7681/laster.jpg [Broken]

No. What does an OR gate do with the inputs?

ehild

Last edited by a moderator:

- #3

Femme_physics

Gold Member

- 2,547

- 1

Last edited by a moderator:

- #4

ehild

Homework Helper

- 15,543

- 1,912

Well, OR adds the inputs. But the symbol for an OR gate is not what you drew. It is spiky. Do you mean an OR or an AND gate?

ehild

Last edited:

- #5

Femme_physics

Gold Member

- 2,547

- 1

Oh, I mean an AND gate, then. sorry.

- #6

ehild

Homework Helper

- 15,543

- 1,912

In that case, erase that "OR".

And then the output is correct, but can be simplified.

ehild

- #7

Femme_physics

Gold Member

- 2,547

- 1

You're right, I got the wrong gate name.

Now I'm trying to see how to simplify it, I'm starting with a truth chart but I'm not 100% sure I got it right:..

http://img13.imageshack.us/img13/6718/image201112310003.jpg [Broken]

Last edited by a moderator:

- #8

ehild

Homework Helper

- 15,543

- 1,912

Let's start with the basic things. How are the logical addition, multiplication and negation defined?

ehild

- #9

I like Serena

Homework Helper

- 6,577

- 176

Hi Fp!

Perhaps you would like to try to fill out the following table?

$$

\begin{array}{|c|c|c|c|c|c|c|c|}

a & b & c & ab & \overline{ab} & \overline{ab} c & cc & \overline{ab} c + cc \\

\hline \\

0 & 0 & 0 & 0 & 1 & 0 & 0 & 0 \\

0 & 0 & 1 & 0 & 1 & & & \\

0 & 1 & 0 & 0 & 1 & & & \\

0 & 1 & 1 & 0 & & & & \\

1 & 0 & 0 & 0 & & & & \\

1 & 0 & 1 & 0 & & & & \\

1 & 1 & 0 & 1 & & & & \\

1 & 1 & 1 & & & & & \\

\hline \end{array}

$$

Last edited:

- #10

I like Serena

Homework Helper

- 6,577

- 176

Good point, edited.

I don't like how Latex shows it though.

- #11

I like Serena

Homework Helper

- 6,577

- 176

Just found it myself too ;) Fixed it.

- #12

Femme_physics

Gold Member

- 2,547

- 1

ehild

Well, it depends on the scenario. What bridge are we talking about? What function do we have?

Perhaps you would like to try to fill out the following table?

I did my own, similar one, a while ago.... except I didn't include AC(capped)

http://img684.imageshack.us/img684/4424/chart3u.jpg [Broken]

And this is how I got F

http://img402.imageshack.us/img402/7498/chart1ar.jpg [Broken]

I presume 1+1 reboots the thing and makes it 0?

Last edited by a moderator:

- #13

Curious3141

Homework Helper

- 2,843

- 87

Basically I want to see if I got it right?

http://img853.imageshack.us/img853/7681/laster.jpg [Broken]

A truth table is the most basic way to do it, but it is tedious. This is very easy to simplify using the basic laws of Boolean algebra (BA).

Let's review some basic rules of BA. Let x be a binary variable.

How would you simplify xx?

What is (x + 1)? (1 + x)?

What is x.1? 1.x?

Last edited by a moderator:

- #14

Curious3141

Homework Helper

- 2,843

- 87

Well, it depends on the scenario. What bridge are we talking about? What function do we have?

I did my own, similar one, a while ago.... except I didn't include AC(capped)

http://img684.imageshack.us/img684/4424/chart3u.jpg [Broken]

And this is how I got F

http://img402.imageshack.us/img402/7498/chart1ar.jpg [Broken]

I presume 1+1 reboots the thing and makes it 0?

Some entries are wrong. For instance 1 + 1 is not 0, but 1. Remember that '+' here signifies the OR function.

Last edited by a moderator:

- #15

Femme_physics

Gold Member

- 2,547

- 1

Well, we were told to always do truth tables since we're just beginners.A truth table is the most basic way to do it, but it is tedious. This is very easy to simplify using the basic laws of Boolean algebra (BA).

Let's review some basic rules of BA. Let x be a binary variable.

How would you simplify xx?

X^2

What is (x + 1)? (1 + x)?

2X + X^2 +1

What is x.1? 1.x?

That would be 1 times x? that's X.

Did not know that! So,Some entries are wrong. For instance 1 + 1 is not 0, but 1. Remember that '+' here signifies the OR function.

http://img225.imageshack.us/img225/5489/fscan.jpg [Broken]

Last edited by a moderator:

- #16

I like Serena

Homework Helper

- 6,577

- 176

X^2

"xx" represents "x AND x".

Do you know what that is?

2X + X^2 +1

"x+1" represents "x OR 1", which is?

That would be 1 times x? that's X.

"1x" represents "1 AND x".

But yes, that would be the same as x.

Yes!

Can you see which columns are identical to F?

Last edited by a moderator:

- #17

Femme_physics

Gold Member

- 2,547

- 1

"xx" represents "x AND x".

Do you know what that is?

Multiplication.

"x+1" represents "x OR 1", which is?

Addition.

"1x" represents "1 AND x".

But yes, that would be the same as x.

Also multiplication!

Yes, CC. But, we only know how to simplify using Karno Map (translating the name from Hebrew).Can you see which columns are identical to F?

So,

http://img576.imageshack.us/img576/92/image201201010014.jpg [Broken]

Last edited by a moderator:

- #18

Curious3141

Homework Helper

- 2,843

- 87

OK, so the above Truth Table is now correct. Do you see that the output is exactly [itex]c[/itex]? The output is 0 when [itex]c=0[/itex] and 1 when [itex]c=1[/itex]. So the simplified final answer is just [itex]c[/itex].

Here's how to see that by doing the Boolean Algebra. I'm going to answer my own post here:

[itex]xx[/itex] (can also be written [itex]x.x[/itex]) [itex]= (x AND x) = x[/itex]. This is because when x = 0, 0 AND 0 = 0, and when x = 1, 1 AND 1 = 1.

[itex](x+1) = (x OR 1) = (1+x) = (1 OR x) = 1[/itex]. A '1' OR anything (or vice versa) is still '1'. This line also demonstrates commutativity of addition (the OR function).

[itex](1.x) = (1 AND x) = (x.1) = (x AND 1) = x[/itex]. A '1' AND anything (or vice versa) depends wholly on x, as you can see from the truth table for AND. This line also demonstrates commutativity of multiplication (the AND function).

OK, so back to the problem. The first line uses the distributive law over multiplication (AND), which you already seem to know. It is used again in regrouping terms.

[tex](\bar{ab}+c).c = \bar{ab}c + c.c = \bar{ab}c + c = (\bar{ab}+1).c = 1.c = c[/tex]

See how easy that was?

As a final note, please don't get confused between binary number addition and the Boolean OR, and binary number multplication and the Boolean AND. As an exercise you may want to work out the other simple rules in Boolean Algebra, (the ones for 0.x, 0 + x, and maybe inspect the slight complexities of the XOR function, and culminating in doing your own proof of De Morgan's Laws).

Last edited by a moderator:

- #19

Femme_physics

Gold Member

- 2,547

- 1

Thanks Curious! We actually only studied Boolean Algebra yesterday! I know how to tackle it all now :) if I'll run into any problems I'll post back. Thanks everyone :)

- #20

Femme_physics

Gold Member

- 2,547

- 1

This is the original problem I was trying to minimize its function......did I get it right?

http://img221.imageshack.us/img221/4978/solutionmpa.jpg [Broken]

Last edited by a moderator:

- #21

- 1,137

- 0

This might help:

OR is like a parallel connection in circuit (where 1 means key closed and 0 means key open)... Thus for x+1 whatever be x, current always flow and thus its 1

and for AND ... its like series, thus 1ANDx means only x because even if 1 is always closed, current flow depends on x

- #22

- 1,137

- 0

This is the original problem I was trying to minimize its function......did I get it right?

http://img221.imageshack.us/img221/4978/solutionmpa.jpg [Broken]

Check 6) line

Last edited by a moderator:

- #23

Curious3141

Homework Helper

- 2,843

- 87

This is the original problem I was trying to minimize its function......did I get it right?

http://img221.imageshack.us/img221/4978/solutionmpa.jpg [Broken]

Your final answer is [itex]\overline{c}[/itex]? Afraid that's not right.

I get the final answer as [itex]\overline{c}(\overline{a} + \overline{b})[/itex] with no further reduction possible, since the output is equally dependent on the three inputs. The reduction involved one application of De Morgan's Law.

In the output of the inverter (NOT gate) Z, the double-negation of (ab) simply gives ab. So just write [itex]ab[/itex] as one of the inputs to the NOR gate P rather than [itex]\overline{\overline{ab}}[/itex], which is unnecessarily cumbersome.

Also, check the way you wrote down the output of the NOR gate P. The unsimplified output (I'm leaving your double-negation notation intact here) will look like:

[tex]\overline{\overline{\overline{ab}}+(\overline{ab}c+cc)}[/tex]

which is *not* the same as what you wrote. Remember that, in general, [itex]\overline{a + b} \neq \overline{a} + \overline{b}[/itex]. Negation does not distribute that way over OR or AND. In fact, this is why you need De Morgan's Law to "break up" this sort of "whole negation".

Please *carefully* recheck your truth table as well. It's wrong in quite a few rows.

Last edited by a moderator:

- #24

- 1,137

- 0

I get the final answer as [itex]\overline{c}(\overline{a} + \overline{b})[/itex]

You got this as equivalent for F

But i'm getting [itex]\overline{abc}[/itex]

- #25

ehild

Homework Helper

- 15,543

- 1,912

You got this as equivalent for F_{out}

But i'm getting [itex]\overline{abc}[/itex]

It is wrong, remember de Morgan's Laws. Curious' result is right.

ehild

Last edited:

Share: