• Log InLog In
  • Register
Liquid`
Team Liquid Liquipedia
EDT 09:00
CEST 15:00
KST 22:00
  • 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
[ASL22] Ro16 Preview: Rough Waters9[ASL22] Ro24 Preview: Siren's Call8[ASL22] Ro24 Preview: Summer's End9Serral wins HomeStory Cup 2915Serral wins Maestros of the Game 244
Community News
Weekly Cups (Aug 30-Sep 7): herO thrives amid growing schism5Official StarCraft website teases new content ahead of BlizzCon?118Stellar Fest TWO the Moon (Dec 16-20)9Weekly Cups (August 24-30): Patches' balance mod takes over3New 3v3 BGH Ladder (and more) on ShieldBattery!46
StarCraft 2
General
Weekly Cups (Aug 30-Sep 7): herO thrives amid growing schism Nexon wins bid to develop StarCraft IP content, distribute Overwatch mobile game Balance hotfix patch 5.0.16b (July 16) SC4ALL: II Winner Will Earn a Spot at HSC 30! Weekly Cups (August 24-30): Patches' balance mod takes over
Tourneys
Sea Duckling Open (Global, Bronze-Diamond) 2026 GSTL Announcement Sparkling Tuna Cup - Weekly Open Tournament Stellar Fest TWO the Moon (Dec 16-20) IntoTheTV X SOOP SC2 League : Weekly & Monthly
Strategy
[G] Having the right mentality to improve
Custom Maps
Nexus Wars 2021 GUIDE [M] (2) Industrial Park
External Content
Mutation # 542 The Ascended Mutation # 541 Binary Choice The PondCast: SC2 News & Results Mutation # 540 Dodge This
Brood War
General
Official StarCraft website teases new content ahead of BlizzCon? [ASL22] Ro16 Preview: Rough Waters ASL22 General Discussion Pros React To: Calm's Big Brain Play Vs Mini New 3v3 BGH Ladder (and more) on ShieldBattery!
Tourneys
[ASL22] Ro16 Group B [Megathread] Daily Proleagues 2v2v2v2 Tournament [ASL22] Ro16 Group A
Strategy
Replay Review Process - What do you do? Simple Questions, Simple Answers Odyssey Mineral Stack Saturation Game Theory for Starcraft
Other Games
General Games
Nintendo Switch Thread EVE Corporation Diablo IV [Maplestory Hardcore] Let's Play~!! General RTS Discussion Thread
Dota 2
Official 'what is Dota anymore' discussion
League of Legends
[TL LoL EUW IHs] Teemo shall perish TSM pausing esports and CLG Dead
Heroes of the Storm
Heroes of the Storm 2.0
Hearthstone
Deck construction bug
TL Mafia
TL Mafia Power Rank TL Mafia Community Thread NeO.D_StephenKing vs This Guy From 1 Million Dance
Community
General
US Politics Mega-thread Russo-Ukrainian War Thread European Politico-economics QA Mega-thread Trading/Investing Thread Things Aren’t Peaceful in Palestine
Fan Clubs
MarineLorD Fan Club The Creator Fan Club The ShoWTimE Fan Club
Media & Entertainment
Movie Discussion! Anime Discussion Thread
Sports
Football (Soccer) Thread TeamLiquid Health and Fitness Initiative For 2023 MLB/Baseball 2023
World Cup 2022
Tech Support
Computer Build, Upgrade & Buying Resource Thread
TL Community
The Automated Ban List Northern Ireland Global Starcraft
Blogs
F* the Children and Get Off …
TrAiDoS
Dreaming of BW patches (mod…
c3rberUs
Regacy Esports: The Bh…
regacyesports
LOCKPICKING NOOB
LUCKY_NOOB
Customize Sidebar...

Website Feedback

Closed Threads



Active: 6150 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
Kung Fu Cup
11:00
2026 Week 22
IntoTheiNu 1496
WardiTV596
RotterdaM439
IndyStarCraft 179
TKL 179
Rex132
SteadfastSC109
LiquipediaDiscussion
[ Submit Event ]
Live Streams
Refresh
StarCraft 2
RotterdaM 439
TKL 179
IndyStarCraft 179
Rex 132
ProTech121
SteadfastSC 109
StarCraft: Brood War
Bisu 6082
Jaedong 3528
Soulkey 2814
Horang2 1038
Mini 859
Hyuk 552
Light 463
Snow 377
BeSt 360
EffOrt 228
[ Show more ]
Stork 183
firebathero 181
Barracks 177
Last 152
Pusan 83
hero 52
soO 51
JYJ 47
Sharp 41
PianO 41
Hm[arnc] 40
Mind 40
sSak 34
Yoon 34
ToSsGirL 32
Bale 22
910 22
Terrorterran 22
Sacsri 14
SilentControl 13
scan(afreeca) 9
Icarus 9
ajuk12(nOOB) 9
Dota 2
Dendi1813
qojqva1489
syndereN540
LuMiX0
Counter-Strike
olofmeister1528
Super Smash Bros
hungrybox680
Other Games
singsing2110
B2W.Neo481
Lowko434
crisheroes307
DeMusliM289
XaKoH 181
Sick131
ArmadaUGS53
QueenE20
Liquid`VortiX9
[ Show 12 non-featured ]
StarCraft 2
• StrangeGG 65
• AfreecaTV YouTube
• intothetv
• Kozan
• IndyKCrew
• Migwel
StarCraft: Brood War
• BSLYoutube
• STPLYoutube
• ZZZeroYoutube
Dota 2
• WagamamaTV704
League of Legends
• Jankos2605
• TFBlade516
Upcoming Events
Replay Cast
11h
The PondCast
21h
KCM Race Survival
21h
OSC
1d 9h
Escore
1d 21h
IntoTheTV X SOOP
1d 22h
CranKy Ducklings
2 days
Sparkling Tuna Cup
3 days
Shopify Rebellion Sundays
4 days
Spirit vs Mixu
Clem vs TBD
RSL Revival
4 days
Serral vs Rogue
[ Show More ]
BlizzCon
4 days
Replay Cast
4 days
Afreeca Starleague
4 days
WardiTV Weekly
4 days
Afreeca Starleague
5 days
GSL
5 days
PiGosaur Cup
6 days
The PondCast
6 days
Kung Fu Cup
6 days
Liquipedia Results

Completed

Proleague 2026-09-08
PiG Sty Festival 8.0
Big Dog Cup 2026 Div 1

Ongoing

KCM Race Survival 2026 Season 3
K-JUNGMAN
ASL Season 22
Super Anchor Qualifying S3
CSL 2026 AUTUMN (S22)
Acropolis #5
Acropolis #5 - TRS
RSL Revival: Season 6
Calamity Invitational
FISSURE Playground #3
BLAST Open Fall 2026
Esports World Cup 2026
BLAST Bounty Summer 2026
BLAST Bounty Summer Qual
Stake Ranked Episode 3
XSE Pro League 2026

Upcoming

Escore Tournament S3: King of Kings
Acropolis #5 - GSA
Blizzard Classic Cup 2026
Acropolis #5 - GSB
Acropolis #5 - GSC
SC4ALL II: Brood War
HSC XXX
Stellar Fest 2: Lunar Cup
SC4ALL II: StarCraft II
Kung Fu Cup 2026 Grand Finals
RSL Offline Finals
Blizzard Classic Cup 2026
Stake Ranked Episode 6
BLAST Rivals Fall 2026
IEM Beijing 2026
Stake Ranked Episode 5
PGL Masters Bucharest 2026
1win Private Club #2
Thunderpick World Champ. '26
ESL Pro League Season 24
Stake Ranked Episode 4
1win Private Club #1
Logitech G Play Connect 2026
SL StarSeries Fall 2026
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 © 2026 TLnet. All Rights Reserved.