• Log InLog In
  • Register
Liquid`
Team Liquid Liquipedia
EDT 12:06
CEST 18:06
KST 01:06
  • 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
Serral wins HomeStory Cup 2914Serral wins Maestros of the Game 243ByuL, and the Limitations of Standard Play3Team Liquid Map Contest #22: Results and Winners7Code S Season 2 (2026): RO4 and Finals Preview12
Community News
Weekly Cups (July 20-26): Early returns on 5.0.16b1IntoTheTV X SOOP SC2 League : Weekly & Monthly4Clem: "I don't have that much hope in Blizzard"7ZeroSpace Early Access is Now Live!40Weekly Cups (July 13-19): Terran & Protoss rise; Zerg falters2
StarCraft 2
General
Daily SC2 Player Grid - feedback wanted Balance hotfix patch 5.0.16b (July 16) Weekly Cups (July 20-26): Early returns on 5.0.16b 3kb/s downloading patch..... are we back to 1998? Terran or Protoss
Tourneys
RSL Revival: Season 6 - Qualifiers and Main Event Sparkling Tuna Cup - Weekly Open Tournament PIG STY FESTIVAL 8.0! (13 - 23 August) IntoTheTV X SOOP SC2 League : Weekly & Monthly INu's Battles#18 - Cure, herO, Rogue & ByuN
Strategy
[G] Having the right mentality to improve
Custom Maps
[M] (2) Industrial Park New Map Maker - Looking for Advice - Love or Hate
External Content
Mutation # 536 Railroad Switch The PondCast: SC2 News & Results Mutation # 535 Assembly of Vengeance Mutation # 534 Burning Evacuation
Brood War
General
ASL22 General Discussion screpdb: new Starcraft reporting tool ASL 22 Proposed Map Pool Klaucher discontinued / in-game color settings BW General Discussion
Tourneys
[Megathread] Daily Proleagues 2v2v2v2 Tournament Star Con San Diego 2026 Escore Tournament - Season 3
Strategy
Odyssey Mineral Stack Saturation Fighting Spirit mining rates Simple Questions, Simple Answers PvT advise for noobs
Other Games
General Games
ZeroSpace Early Access is Now Live! Path of Exile Stormgate/Frost Giant Megathread General RTS Discussion Thread Nintendo Switch Thread
Dota 2
Looking for a Dota Mentor Official 'what is Dota anymore' discussion
League of Legends
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 Artificial Intelligence Thread European Politico-economics QA Mega-thread How to buy a book - shipping from Korea to Europe
Fan Clubs
The IdrA Fan Club The HerO Fan Club!
Media & Entertainment
Movie Discussion! Anime Discussion Thread Series you have seen recently... [Req][Books] Good Fantasy/SciFi books
Sports
2026-27 Football Thread placeholder 2024 - 2026 Football Thread TeamLiquid Health and Fitness Initiative For 2023 Formula 1 Discussion MLB/Baseball 2023
World Cup 2022
Tech Support
Computer Build, Upgrade & Buying Resource Thread Simple Questions Simple Answers FPS when play League Of Legend on laptop
TL Community
Northern Ireland Global Starcraft The Automated Ban List
Blogs
Games, Hormones, and "Dark" …
TrAiDoS
Hello guys!
LIN1s
ASL S22 English Commentary…
namkraft
Poker (part 2)
Nebuchad
An Exploration of th…
waywardstrategy
Customize Sidebar...

Website Feedback

Closed Threads



Active: 6217 users

Combinational Logic + Boolean equation help

Blogs > Raithed
Post a Reply
1 2 Next All
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?
1 2 Next All
Please log in or register to reply.
Live Events Refresh
Next event in 7h 54m
[ Submit Event ]
Live Streams
Refresh
StarCraft 2
ByuN 414
ProTech82
RushiSC 44
StarCraft: Brood War
Calm 6682
Shuttle 1669
Jaedong 642
Mini 516
BeSt 489
firebathero 414
EffOrt 348
actioN 267
Stork 249
Soulkey 202
[ Show more ]
ggaemo 199
Sharp 74
Rush 66
Hyun 61
Noble 42
scan(afreeca) 34
soO 33
Barracks 30
sSak 25
Shine 24
JYJ 21
Hm[arnc] 17
Rock 17
HiyA 13
ajuk12(nOOB) 12
Yoon 10
IntoTheRainbow 10
Mong 1
Dota 2
qojqva1710
Dendi1069
syndereN392
XcaliburYe54
Counter-Strike
fl0m1490
byalli711
Super Smash Bros
Mew2King96
Other Games
FrodaN2200
singsing2074
hiko1016
B2W.Neo931
ceh9488
elazer358
Beastyqt258
markeloff139
Liquid`VortiX136
ArmadaUGS124
Fuzer 107
XaKoH 85
Trikslyr60
QueenE54
Organizations
Other Games
BasetradeTV73
StarCraft 2
Blizzard YouTube
StarCraft: Brood War
BSLTrovo
[ Show 14 non-featured ]
StarCraft 2
• StrangeGG 18
• AfreecaTV YouTube
• intothetv
• Kozan
• IndyKCrew
• LaughNgamezSOOP
• Migwel
• sooper7s
StarCraft: Brood War
• BSLYoutube
• STPLYoutube
• ZZZeroYoutube
Dota 2
• C_a_k_e 3309
• WagamamaTV510
League of Legends
• Nemesis3219
Upcoming Events
PiGosaur Cup
7h 54m
The PondCast
17h 54m
Kung Fu Cup
18h 54m
Patches Events
23h 54m
Replay Cast
1d 16h
CrankTV Team League
1d 18h
OSC
1d 20h
OSC
2 days
Replay Cast
2 days
Escore
2 days
[ Show More ]
CrankTV Team League
2 days
OSC
3 days
Replay Cast
3 days
Afreeca Starleague
3 days
RSL Revival
3 days
ByuN vs SHIN
Solar vs Lambo
WardiTV Summer Champion…
3 days
Afreeca Starleague
4 days
RSL Revival
4 days
Clem vs Serral
herO vs Rogue
WardiTV Summer Champion…
4 days
WardiTV Weekly
5 days
Sparkling Tuna Cup
6 days
Liquipedia Results

Completed

Proleague 2026-07-27
SCTL 2026 Spring
Eternal Conflict S2 Finale

Ongoing

CSL 2026 Summer (S21)
KCM Race Survival 2026 Season 3
RSL Revival: Season 6
CranK Gathers Season 4: BW vs SC2 Team League
BLAST Bounty Summer Qual
Stake Ranked Episode 3
XSE Pro League 2026
IEM Cologne Major 2026
Stake Ranked Episode 2
CS Asia Championships 2026
Asian Champions League 2026
IEM Atlanta 2026
PGL Astana 2026

Upcoming

Escore Tournament S3: W5
ASL Season 22: Qualifier #1
ASL Season 22: Qualifier #2
Acropolis #5
Escore Tournament S3: W6
Escore Tournament S3: W7
Escore Tournament S3: W8
HSC XXX
SC4ALL II: StarCraft II
Kung Fu Cup 2026 Grand Finals
PiG Sty Festival 8.0
Light Tournament 2026
ESL Pro League Season 24
Stake Ranked Episode 4
Logitech G Connect 2026
SL StarSeries Fall 2026
FISSURE Playground #5
BLAST Open Fall 2026
Esports World Cup 2026
BLAST Bounty Summer 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.