• Log InLog In
  • Register
Liquid`
Team Liquid Liquipedia
EDT 16:42
CET 21:42
KST 05:42
  • 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] Finals Preview: Sweet Victory!9[ASL22] Ro4 Preview: Mirror Mirror6[ASL22] Ro8 Preview: Within Reach5[ASL22] Ro8 Preview: In A Tizzy11[ASL22] Ro16 Preview: Holy Diver5
Community News
Evil Geniuses - shutting down14ISSL (IntoTheTV x SOOP SC2 League): Premier5Weekly Cups (October 12-18): 5.0.17 era begins1[$1250] International ShieldBattery League73Weekly Cups (October 5-11): Farewell to 5.0.167
StarCraft 2
General
How do you feel about the mass reverts in the 5.0.17 PTR? REPORT: StarCraft 2: Remastered In Development Team Liquid Map Contest #22: Results and Winners No more SC2 streamers on team liquid? Evil Geniuses - shutting down
Tourneys
CrackStreams!] Ballon d'Or Live Free Ceremony 2026 ScienceCraft (October 24-25) - Live Event Sparkling Tuna Cup - Weekly Open Tournament RSL goes to London! 2026 Offline Finals Nov 21-22 ISSL (IntoTheTV x SOOP SC2 League): Premier
Strategy
[H] ZvP Mid-Late Game: Stalkers Collossi HT
Custom Maps
[G] How to playtest arcade maps [A] Nemrods 1/4 players [M] (2) Sweltering Sands
External Content
Mutation # 549 Endless Sparkles The PondCast: SC2 News & Results Mutation # 548 Shining Bright Mutation # 547 Temple Of Terror
Brood War
General
Bot on ladder BW General Discussion Recent recommended BW games Oceanic Brood War - Join and chat! Sagi.gg Launcher Released
Tourneys
[ASL22] Grand Finals [$1250] International ShieldBattery League [BSL23] RO24 Group C Small VOD Thread 2.0
Strategy
Cliff Jump Revisited (1 in a 1000 strategy) 50,000-Word Terran Builds Memo 2026-10-22 Simple Questions, Simple Answers
Other Games
General Games
Stormgate/Frost Giant Megathread Nintendo Switch Thread Mobile Legends: Bang Bang Armies of Exigo - YesYes? General RTS Discussion Thread
Dota 2
Dota 2 Champions League Season 3 Begins April 25!
League of Legends
[TL LoL EUW IHs] Teemo shall perish
Heroes of the Storm
Heroes of the Storm 2.0
Hearthstone
Deck construction bug
TL Mafia
TL Mafia Community Thread
Community
General
US Politics Mega-thread Things Aren’t Peaceful in Palestine Russo-Ukrainian War Thread European Politico-economics QA Mega-thread Canadian Politics Mega-thread
Fan Clubs
Reynor Fan Club The Flash Fan Club Serral Fan Club
Media & Entertainment
Anime Discussion Thread Movie Discussion! [Manga] One Piece
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
Recent Gifted Posts
Blogs
Innovate or Game Over?
TrAiDoS
ShieldBattery on Mac
Kraekkling
[ASL22] Ro4 Day1 Ticket Giv…
bITt.mAN
Can Bots Beat Pros?? Starcr…
namkraft
Customize Sidebar...

Website Feedback

Closed Threads



Active: 8010 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 States557 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 14h 18m
[ Submit Event ]
Live Streams
Refresh
StarCraft 2
RotterdaM 207
JuggernautJason94
Nathanias 28
StarCraft: Brood War
Shuttle 447
ProTech171
Dewaltoss 144
Aegong 21
Dota 2
Gorgc12071
League of Legends
JimRising 308
Counter-Strike
pashabiceps1072
Fnx 617
Heroes of the Storm
Grubby3437
Liquid`Hasu562
Other Games
Liquid`RaSZi2614
Cr1tdota620
FrodaN611
shahzam355
XaKoH 200
C9.Mang0141
UpATreeSC82
Trikslyr37
ZombieGrub30
[ Show 18 non-featured ]
StarCraft 2
• Hupsaiya 91
• musti20045 2
• AfreecaTV YouTube
• intothetv
• Kozan
• IndyKCrew
• Migwel
StarCraft: Brood War
• HerbMon 42
• 80smullet 21
• BSLYoutube
• STPLYoutube
• ZZZeroYoutube
Dota 2
• WagamamaTV293
League of Legends
• Nemesis2867
• Jankos2751
• Scarra1022
Other Games
• imaqtpie761
• Shiphtur487
Upcoming Events
IntoTheTV X SOOP
14h 18m
ByuN vs Lambo
MaxPax vs Bunny
PiGosaur Cup
1d 3h
The PondCast
1d 13h
Kung Fu Cup
1d 14h
IntoTheTV X SOOP
2 days
SHIN vs GuMiho
Clem vs Classic
OSC
3 days
WardiTV Invitational
3 days
GSL
3 days
Epic.LAN
3 days
Replay Cast
4 days
[ Show More ]
Sparkling Tuna Cup
4 days
Epic.LAN
4 days
Yamato Cup
5 days
Map Test Tournament
6 days
WardiTV Weekly
6 days
Liquipedia Results

Completed

Acropolis #5 - GSC
Blizzard Classic Cup 2026
HCC Season 3

Ongoing

Acropolis #5
KCM Race Survival 2026 Season 4
ShieldBattery League 1
BSL Season 23
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
FISSURE Playground #3
BLAST Open Fall 2026
Esports World Cup 2026

Upcoming

IPSL Winter 2026-27
SC4ALL II: Brood War
BSL 23: Non-Korean Championship
HSC XXX
Stellar Fest 2: Lunar Cup
SC4ALL II: StarCraft II
Kung Fu Cup 2026 Grand Finals
RSL Offline Finals
eXTREMESLAND 2026
PGL Major Singapore 2026
Stake Ranked Episode 6
BLAST Rivals Fall 2026
IEM Beijing 2026
Stake Ranked Episode 5
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.