• Log InLog In
  • Register
Liquid`
Team Liquid Liquipedia
EDT 07:46
CEST 13:46
KST 20:46
  • Home
  • Forum
  • Calendar
  • Streams
  • Liquipedia
  • Features
  • Store
  • EPT
  • TL+
  • StarCraft 2
  • Brood War
  • Smash
  • Heroes
  • Counter-Strike
  • Overwatch
  • Liquibet
  • Fantasy StarCraft
  • TLPD
  • StarCraft 2
  • Brood War
  • Blogs
Forum Sidebar
Events/Features
News
Featured News
Code S RO4 & Finals Preview: herO, Rogue, Classic, GuMiho0TL Team Map Contest #5: Presented by Monster Energy4Code S RO8 Preview: herO, Zoun, Bunny, Classic7Code S RO8 Preview: Rogue, GuMiho, Solar, Maru3BGE Stara Zagora 2025: Info & Preview27
Community News
Firefly suspended by EWC, replaced by Lancer2Classic & herO RO8 Interviews: "I think it’s time to teach [Rogue] a lesson."2Rogue & GuMiho RO8 interviews: "Lifting that trophy would be a testament to all I’ve had to overcome over the years and how far I’ve come on this journey.8Code S RO8 Results + RO4 Bracket (2025 Season 2)14BGE Stara Zagora 2025 - Replay Pack2
StarCraft 2
General
Firefly suspended by EWC, replaced by Lancer Jim claims he and Firefly were involved in match-fixing How herO can make history in the Code S S2 finals Rogue & GuMiho RO8 interviews: "Lifting that trophy would be a testament to all I’ve had to overcome over the years and how far I’ve come on this journey. Code S RO8 Results + RO4 Bracket (2025 Season 2)
Tourneys
[GSL 2025] Code S: Season 2 - Semi Finals & Finals WardiTV Mondays Sparkling Tuna Cup - Weekly Open Tournament $3,500 WardiTV European League 2025 Sea Duckling Open (Global, Bronze-Diamond)
Strategy
Simple Questions Simple Answers [G] Darkgrid Layout
Custom Maps
[UMS] Zillion Zerglings
External Content
Mutation # 478 Instant Karma Mutation # 477 Slow and Steady Mutation # 476 Charnel House Mutation # 475 Hard Target
Brood War
General
BW General Discussion ASL20 Preliminary Maps BGH Auto Balance -> http://bghmmr.eu/ Recent recommended BW games FlaSh Witnesses SCV Pull Off the Impossible vs Shu
Tourneys
[Megathread] Daily Proleagues [BSL 2v2] ProLeague Season 3 - Friday 21:00 CET Small VOD Thread 2.0 [BSL20] ProLeague Bracket Stage - Day 4
Strategy
I am doing this better than progamers do. [G] How to get started on ladder as a new Z player
Other Games
General Games
Stormgate/Frost Giant Megathread Path of Exile Nintendo Switch Thread Beyond All Reason What do you want from future RTS games?
Dota 2
Official 'what is Dota anymore' discussion
League of Legends
Which UAE App Developers Are Leading the Innovatio
Heroes of the Storm
Simple Questions, Simple Answers Heroes of the Storm 2.0
Hearthstone
Heroes of StarCraft mini-set
TL Mafia
Vanilla Mini Mafia TL Mafia Community Thread
Community
General
US Politics Mega-thread Things Aren’t Peaceful in Palestine UK Politics Mega-thread Russo-Ukrainian War Thread Vape Nation Thread
Fan Clubs
SKT1 Classic Fan Club! Maru Fan Club
Media & Entertainment
Korean Music Discussion [Manga] One Piece
Sports
2024 - 2025 Football Thread Formula 1 Discussion NHL Playoffs 2024 TeamLiquid Health and Fitness Initiative For 2023
World Cup 2022
Tech Support
Computer Build, Upgrade & Buying Resource Thread
TL Community
The Automated Ban List
Blogs
A Better Routine For Progame…
TrAiDoS
StarCraft improvement
iopq
Heero Yuy & the Tax…
KrillinFromwales
I was completely wrong ab…
jameswatts
Need Your Help/Advice
Glider
Trip to the Zoo
micronesia
Customize Sidebar...

Website Feedback

Closed Threads



Active: 33509 users

Combinational Logic + Boolean equation help

Blogs > Raithed
Post a Reply
Normal
Raithed
Profile Blog Joined May 2007
China7078 Posts
Last Edited: 2008-04-21 02:27:56
April 21 2008 02:27 GMT
#1
1. When people write B' does it mean B(not)? Like B with a bar on top of it?
......._
B' = B

Also...

2.
X = B(A+C) + C
X = BA + BC + C
X = BA + C(B+1) <-- this part confuses me, can someone explain how the BC + C turn into C(B+1)?
X = BA + C*1 (B + 1 = 1 this is from rules)
x = BA + C (C * 1 = C this is from rules)

And 3. This NAND gate, with the inverter bubble there, would it be A' B' into A+B? Since the inverters cancel?

[image loading]


****
NathanSC
Profile Blog Joined February 2008
United States620 Posts
April 21 2008 02:33 GMT
#2
As far as BA + BC + C = BA + C(B + 1), that's really simple factoring.

Look at it as 1BC + 1C. Factor out the C.

C(1B + 1).

And clearly the coefficient 1 before the B is extraneous, so it's not written.
fight_or_flight
Profile Blog Joined June 2007
United States3988 Posts
Last Edited: 2008-04-21 02:39:12
April 21 2008 02:38 GMT
#3
1) Yes

2) See above post, just factoring.

3) So this is an AND gate with inversions on all inputs and outputs?

Basically, an AND gate with inverted inputs is the same as a NOR by demorgan's theorem A'B' = (A+B)'

Then you have a NOR with an inverted output which is the same as OR.
Do you really want chat rooms?
Raithed
Profile Blog Joined May 2007
China7078 Posts
April 21 2008 02:38 GMT
#4
I really don't see how BA + BC + C = BA + C(B + 1) as factoring, I mean..

x^2 + 4x + 4 would be (x+2)(x+2) ...

Can you explain further, I really don't see it.
Muirhead
Profile Blog Joined October 2007
United States556 Posts
April 21 2008 02:40 GMT
#5
In general C(A+B)=CA+CB for any three numbers A,B,C. This is called the distributive law of multiplication.

Plug in A=1, and you get C(1+B)=C(1)+CB=C+CB
starleague.mit.edu
fight_or_flight
Profile Blog Joined June 2007
United States3988 Posts
April 21 2008 02:41 GMT
#6
Forget the BA for a moment.

BC + C = C(B + 1)
Do you really want chat rooms?
Raithed
Profile Blog Joined May 2007
China7078 Posts
April 21 2008 02:43 GMT
#7
On April 21 2008 11:38 fight_or_flight wrote:
1) Yes

2) See above post, just factoring.

3) So this is an AND gate with inversions on all inputs and outputs?

Basically, an AND gate with inverted inputs is the same as a NOR by demorgan's theorem A'B' = (A+B)'

Then you have a NOR with an inverted output which is the same as OR.

For number 3, so it's still (AB)'? Because there's an inverter in the input which makes it:

A' B' = AB? It doesn't work that way?
Myxomatosis
Profile Blog Joined July 2006
United States2392 Posts
April 21 2008 02:44 GMT
#8
On April 21 2008 11:38 Raithed wrote:
I really don't see how BA + BC + C = BA + C(B + 1) as factoring, I mean..

x^2 + 4x + 4 would be (x+2)(x+2) ...

Can you explain further, I really don't see it.

x^2 + 4x + 4 = (x+2)(x+2)
x^3 + x^2 + 4x + 4 = x^3+(x+2)(x+2)

BC + C = C(B+1)
BA + BC + C = BA + C(B+1)
Raithed
Profile Blog Joined May 2007
China7078 Posts
April 21 2008 02:46 GMT
#9
On April 21 2008 11:40 Muirhead wrote:
In general C(A+B)=CA+CB for any three numbers A,B,C. This is called the distributive law of multiplication.

Plug in A=1, and you get C(1+B)=C(1)+CB=C+CB

Oh, wow, nice explanation. But what if you don't know the answer, would you always plug A = 1?
NathanSC
Profile Blog Joined February 2008
United States620 Posts
April 21 2008 02:53 GMT
#10
On April 21 2008 11:46 Raithed wrote:
Show nested quote +
On April 21 2008 11:40 Muirhead wrote:
In general C(A+B)=CA+CB for any three numbers A,B,C. This is called the distributive law of multiplication.

Plug in A=1, and you get C(1+B)=C(1)+CB=C+CB

Oh, wow, nice explanation. But what if you don't know the answer, would you always plug A = 1?

Lol, you kinda missed the point.

He was using an example to demonstrate the factorization of BC + C = C(B + 1).

He pretended that the 1 in the above example was an A, which would have been written as:

BC + CA = C(B + A).

Exact same problem, just with another variable.
fight_or_flight
Profile Blog Joined June 2007
United States3988 Posts
April 21 2008 02:53 GMT
#11
On April 21 2008 11:43 Raithed wrote:
Show nested quote +
On April 21 2008 11:38 fight_or_flight wrote:
1) Yes

2) See above post, just factoring.

3) So this is an AND gate with inversions on all inputs and outputs?

Basically, an AND gate with inverted inputs is the same as a NOR by demorgan's theorem A'B' = (A+B)'

Then you have a NOR with an inverted output which is the same as OR.

For number 3, so it's still (AB)'? Because there's an inverter in the input which makes it:

A' B' = AB? It doesn't work that way?

Does not work that way. Look at the truth tables:

out = A'B'

A B out
0 0 1
0 1 0
1 0 0
1 1 0

----------------------------

out = AB

A B out
0 0 0
0 1 0
1 0 0
1 1 1

------------------------------

Therefore you conclude that A'B' = NOR. (look up demorgan's theorem)
Do you really want chat rooms?
NathanSC
Profile Blog Joined February 2008
United States620 Posts
Last Edited: 2008-04-21 02:57:55
April 21 2008 02:56 GMT
#12
On April 21 2008 11:53 fight_or_flight wrote:
Show nested quote +
On April 21 2008 11:43 Raithed wrote:
On April 21 2008 11:38 fight_or_flight wrote:
1) Yes

2) See above post, just factoring.

3) So this is an AND gate with inversions on all inputs and outputs?

Basically, an AND gate with inverted inputs is the same as a NOR by demorgan's theorem A'B' = (A+B)'

Then you have a NOR with an inverted output which is the same as OR.

For number 3, so it's still (AB)'? Because there's an inverter in the input which makes it:

A' B' = AB? It doesn't work that way?

Does not work that way. Look at the truth tables:

out = A'B'

A B out
0 0 1
0 1 0
1 0 0
1 1 0

----------------------------

out = AB

A B out
0 0 0
0 1 0
1 0 0
1 1 1

------------------------------

Therefore you conclude that A'B' = NOR. (look up demorgan's theorem)

Yeah, this is exactly accurate. Not A AND Not B evaluates as true in very different circumstances than A AND B evaluates as true.
Raithed
Profile Blog Joined May 2007
China7078 Posts
April 21 2008 03:01 GMT
#13
Without looking at the truth table, I thought not from input, with a not in output would cancel, this just confirms that it's NOR. I didn't mean exactly as (AB)' == AB, I just meant that the ' cancels.
fight_or_flight
Profile Blog Joined June 2007
United States3988 Posts
April 21 2008 03:06 GMT
#14
No, they don't cancel. If you have 2 bubbles on the input of an AND, you can make it into an OR with a bubble on the output.

Same thing if the inputs on an OR have bubbles...it becomes an AND with a bubble on the output.
Do you really want chat rooms?
Raithed
Profile Blog Joined May 2007
China7078 Posts
April 21 2008 03:08 GMT
#15
So basically, the bubbles DON'T cancel, whatsoever?
Raithed
Profile Blog Joined May 2007
China7078 Posts
April 21 2008 03:12 GMT
#16
But wait, the gate is a NAND gate...
fight_or_flight
Profile Blog Joined June 2007
United States3988 Posts
April 21 2008 03:12 GMT
#17
Except with inverters.
Do you really want chat rooms?
Raithed
Profile Blog Joined May 2007
China7078 Posts
April 21 2008 03:14 GMT
#18
So if it's

Bubbled input NAND --- inverter --- bubbles cancel? Only this way?

[image loading]
Raithed
Profile Blog Joined May 2007
China7078 Posts
April 21 2008 03:15 GMT
#19
Which is basically

NAND + inverter = comes out as AB? Instead of (AB)' ?
fight_or_flight
Profile Blog Joined June 2007
United States3988 Posts
April 21 2008 03:33 GMT
#20
[image loading]
Do you really want chat rooms?
Raithed
Profile Blog Joined May 2007
China7078 Posts
April 21 2008 04:01 GMT
#21
I think you're mixing that with something else fof, I didn't mean if they're the equivalence of anything but such as that:

bubble NAND gate....

[image loading]


NAND gates are basically (AB)' from the beginning, from that diagram alone, but if the input already gives A' and B' the output is already to be (AB)' wouldn't the NOTs cancel? Because the diagrams you provided have bubbles from input to bubbles of output of equivalent gates.
fight_or_flight
Profile Blog Joined June 2007
United States3988 Posts
Last Edited: 2008-04-21 04:14:55
April 21 2008 04:10 GMT
#22
Thats not a NAND gate though. What you do is imagine the output bubble is far away. Then when it changes from that pic you have 2 bubbles on the output which cancel.

edit: might be the same thing your saying, I'm getting confused over this whole thread.
Do you really want chat rooms?
Raithed
Profile Blog Joined May 2007
China7078 Posts
April 21 2008 04:20 GMT
#23
This is a NAND gate: http://hyperphysics.phy-astr.gsu.edu/hbase/electronic/nand.html
How is it what I drew not a NAND gate? A NAND gate as a bubble at the output, but I just added two bubbles on the input?
fight_or_flight
Profile Blog Joined June 2007
United States3988 Posts
April 21 2008 04:27 GMT
#24
[image loading]
Do you really want chat rooms?
fight_or_flight
Profile Blog Joined June 2007
United States3988 Posts
April 21 2008 04:29 GMT
#25
Thats how you solve it using "bubble logic". You can also do it algebraically with boolean algebra.
Do you really want chat rooms?
berated-
Profile Blog Joined February 2007
United States1134 Posts
April 21 2008 04:50 GMT
#26
thats some pretty drawing, boolean algebra is so much easier though
azndsh
Profile Blog Joined August 2006
United States4447 Posts
April 21 2008 05:28 GMT
#27
A' NAND B' = (A' AND B')' = A OR B
deMorgan's Law
sigma_x
Profile Joined March 2008
Australia285 Posts
April 21 2008 06:15 GMT
#28
"break the line change the sign" as they say. btw:
BC+B=BC+B*1 (identity law)
BC+B*1=B(C+1) (distributive law)

p.s. For those using examples from the real numbers to show this, why are you trying to explain properties of boolean algebra/rings using field axioms?
Raithed
Profile Blog Joined May 2007
China7078 Posts
April 21 2008 06:19 GMT
#29
Alright, and guys, how does...

X = (A’ + B’) + (B+C)
X = 1?

I get (A’ + B’) = (AB)' + (B+C) right?
What is the next step?
fight_or_flight
Profile Blog Joined June 2007
United States3988 Posts
April 21 2008 06:22 GMT
#30
X = (A’ + B’) + (B+C)

X = A’ + (B’ + B) + C

X = A’ + 1 + C

X = 1
Do you really want chat rooms?
Raithed
Profile Blog Joined May 2007
China7078 Posts
April 21 2008 06:29 GMT
#31
Thank you fof, I'd like to thank everyone for staying up with me while I continue to do this silly stuff. It's 2AM EST. I appreciate it, thanks again fof.
Normal
Please log in or register to reply.
Live Events Refresh
Wardi Open
11:00
$400 Monday #40
WardiTV585
OGKoka 351
CranKy Ducklings137
IndyStarCraft 117
Rex113
Liquipedia
[ Submit Event ]
Live Streams
Refresh
StarCraft 2
OGKoka 351
Harstem 161
IndyStarCraft 117
Rex 113
ProTech79
StarCraft: Brood War
Britney 29699
Rain 5892
Horang2 3806
Mini 482
actioN 465
Larva 459
EffOrt 450
Stork 302
Zeus 268
Light 192
[ Show more ]
Pusan 165
Snow 150
Mong 143
ZerO 121
JulyZerg 102
Sharp 90
PianO 78
hero 51
Rush 50
sSak 45
Sea.KH 44
Killer 37
Backho 35
JYJ35
zelot 28
Icarus 25
Movie 25
soO 19
sorry 18
Noble 14
Sacsri 13
Shine 12
yabsab 9
ivOry 7
scan(afreeca) 3
Dota 2
420jenkins694
XcaliburYe589
Fuzer 224
Counter-Strike
olofmeister2432
shoxiejesuss1043
x6flipin439
Other Games
singsing1597
B2W.Neo804
C9.Mang0525
crisheroes372
Liquid`RaSZi367
ArmadaUGS166
Lowko124
Pyrionflax107
ZerO(Twitch)14
Organizations
Dota 2
PGL Dota 2 - Secondary Stream18982
Other Games
gamesdonequick502
StarCraft 2
Blizzard YouTube
StarCraft: Brood War
BSLTrovo
sctven
[ Show 13 non-featured ]
StarCraft 2
• StrangeGG 36
• AfreecaTV YouTube
• intothetv
• Kozan
• IndyKCrew
• LaughNgamezSOOP
• Migwel
• sooper7s
StarCraft: Brood War
• iopq 5
• BSLYoutube
• STPLYoutube
• ZZZeroYoutube
Other Games
• WagamamaTV85
Upcoming Events
Replay Cast
12h 14m
Replay Cast
22h 14m
RSL Revival
22h 14m
Cure vs Percival
ByuN vs Spirit
PiGosaur Monday
1d 12h
RSL Revival
1d 22h
herO vs sOs
Zoun vs Clem
Replay Cast
2 days
The PondCast
2 days
RSL Revival
2 days
Serral vs SHIN
Solar vs Cham
RSL Revival
3 days
Reynor vs Scarlett
ShoWTimE vs Classic
uThermal 2v2 Circuit
4 days
[ Show More ]
SC Evo League
5 days
Circuito Brasileiro de…
5 days
Sparkling Tuna Cup
5 days
Liquipedia Results

Completed

Proleague 2025-06-11
2025 GSL S2
Heroes 10 EU

Ongoing

JPL Season 2
BSL 2v2 Season 3
BSL Season 20
KCM Race Survival 2025 Season 2
NPSL S3
Rose Open S1
CSL 17: 2025 SUMMER
Copa Latinoamericana 4
Murky Cup #2
BLAST.tv Austin Major 2025
ESL Impact League Season 7
IEM Dallas 2025
PGL Astana 2025
Asian Champions League '25
BLAST Rivals Spring 2025
MESA Nomadic Masters
CCT Season 2 Global Finals
IEM Melbourne 2025
YaLLa Compass Qatar 2025
PGL Bucharest 2025

Upcoming

CSLPRO Last Chance 2025
CSLPRO Chat StarLAN 3
K-Championship
SEL Season 2 Championship
Esports World Cup 2025
HSC XXVII
Championship of Russia 2025
RSL Revival: Season 1
BLAST Open Fall 2025
Esports World Cup 2025
BLAST Bounty Fall 2025
BLAST Bounty Fall Qual
IEM Cologne 2025
FISSURE Playground #1
TLPD

1. ByuN
2. TY
3. Dark
4. Solar
5. Stats
6. Nerchio
7. sOs
8. soO
9. INnoVation
10. Elazer
1. Rain
2. Flash
3. EffOrt
4. Last
5. Bisu
6. Soulkey
7. Mini
8. Sharp
Sidebar Settings...

Advertising | Privacy Policy | Terms Of Use | Contact Us

Original banner artwork: Jim Warren
The contents of this webpage are copyright © 2025 TLnet. All Rights Reserved.