• Log InLog In
  • Register
Liquid`
Team Liquid Liquipedia
EST 14:20
CET 20:20
KST 04:20
  • 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
Behind the Blue - Team Liquid History Book15Clem wins HomeStory Cup 289HomeStory Cup 28 - Info & Preview13Rongyi Cup S3 - Preview & Info8herO wins SC2 All-Star Invitational14
Community News
ACS replaced by "ASL Season Open" - Starts 21/0215LiuLi Cup: 2025 Grand Finals (Feb 10-16)20Weekly Cups (Feb 2-8): Classic, Solar, MaxPax win2Nexon's StarCraft game could be FPS, led by UMS maker9PIG STY FESTIVAL 7.0! (19 Feb - 1 Mar)12
StarCraft 2
General
How do you think the 5.0.15 balance patch (Oct 2025) for StarCraft II has affected the game? Nexon's StarCraft game could be FPS, led by UMS maker Terran Scanner Sweep Behind the Blue - Team Liquid History Book Weekly Cups (Jan 12-18): herO, MaxPax, Solar win
Tourneys
LiuLi Cup: 2025 Grand Finals (Feb 10-16) RSL Revival: Season 4 Korea Qualifier (Feb 14) PIG STY FESTIVAL 7.0! (19 Feb - 1 Mar) Sparkling Tuna Cup - Weekly Open Tournament RSL Season 4 announced for March-April
Strategy
Custom Maps
Map Editor closed ? [A] Starcraft Sound Mod
External Content
The PondCast: SC2 News & Results Mutation # 512 Overclocked Mutation # 511 Temple of Rebirth Mutation # 510 Safety Violation
Brood War
General
Gypsy to Korea ACS replaced by "ASL Season Open" - Starts 21/02 Liquipedia.net NEEDS editors for Brood War Recent recommended BW games [ASL21] Potential Map Candidates
Tourneys
Escore Tournament StarCraft Season 1 [Megathread] Daily Proleagues Small VOD Thread 2.0 KCM Race Survival 2026 Season 1
Strategy
Fighting Spirit mining rates Zealot bombing is no longer popular? Simple Questions, Simple Answers Current Meta
Other Games
General Games
Path of Exile Diablo 2 thread Nintendo Switch Thread Battle Aces/David Kim RTS Megathread ZeroSpace Megathread
Dota 2
Official 'what is Dota anymore' discussion
League of Legends
Heroes of the Storm
Simple Questions, Simple Answers Heroes of the Storm 2.0
Hearthstone
Deck construction bug Heroes of StarCraft mini-set
TL Mafia
Mafia Game Mode Feedback/Ideas Vanilla Mini Mafia TL Mafia Community Thread
Community
General
US Politics Mega-thread Ask and answer stupid questions here! European Politico-economics QA Mega-thread The Games Industry And ATVI Russo-Ukrainian War Thread
Fan Clubs
The herO Fan Club! The IdrA Fan Club
Media & Entertainment
[Manga] One Piece Anime Discussion Thread
Sports
2024 - 2026 Football Thread
World Cup 2022
Tech Support
TL Community
The Automated Ban List
Blogs
ADHD And Gaming Addiction…
TrAiDoS
My 2025 Magic: The Gathering…
DARKING
Life Update and thoughts.
FuDDx
How do archons sleep?
8882
StarCraft improvement
iopq
Customize Sidebar...

Website Feedback

Closed Threads



Active: 2178 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
Big Brain Bouts
17:00
#106
Serral vs JumyLIVE!
RotterdaM645
Liquipedia
[ Submit Event ]
Live Streams
Refresh
StarCraft 2
ProTech135
UpATreeSC 120
BRAT_OK 104
JuggernautJason80
EmSc Tv 18
ForJumy 1
StarCraft: Brood War
Calm 2329
Jaedong 502
Mini 447
Hyuk 233
firebathero 210
nyoken 44
ajuk12(nOOB) 33
Dota 2
Gorgc5347
League of Legends
C9.Mang0146
Counter-Strike
fl0m1914
Foxcn3
Super Smash Bros
Mew2King57
Heroes of the Storm
Liquid`Hasu311
Khaldor175
Other Games
gofns18089
Grubby3354
FrodaN1683
Beastyqt858
RotterdaM645
mouzStarbuck242
crisheroes207
ArmadaUGS153
KnowMe131
Trikslyr78
ToD62
MindelVK5
Organizations
StarCraft 2
EmSc Tv 18
EmSc2Tv 18
Other Games
BasetradeTV17
StarCraft 2
Blizzard YouTube
StarCraft: Brood War
BSLTrovo
sctven
[ Show 19 non-featured ]
StarCraft 2
• Adnapsc2 9
• intothetv
• Kozan
• sooper7s
• Migwel
• AfreecaTV YouTube
• LaughNgamezSOOP
• IndyKCrew
StarCraft: Brood War
• FirePhoenix14
• Michael_bg 10
• STPLYoutube
• ZZZeroYoutube
• BSLYoutube
Dota 2
• WagamamaTV308
• lizZardDota264
League of Legends
• Nemesis7307
• imaqtpie2183
• TFBlade1688
• Shiphtur500
Upcoming Events
RSL Revival
7h 40m
RSL Revival
12h 40m
LiuLi Cup
15h 40m
uThermal 2v2 Circuit
16h 40m
RSL Revival
22h 40m
Replay Cast
1d 4h
Sparkling Tuna Cup
1d 14h
LiuLi Cup
1d 15h
Replay Cast
2 days
Replay Cast
2 days
[ Show More ]
LiuLi Cup
2 days
Wardi Open
2 days
Monday Night Weeklies
2 days
OSC
3 days
WardiTV Winter Champion…
3 days
Replay Cast
4 days
WardiTV Winter Champion…
4 days
Replay Cast
5 days
The PondCast
5 days
KCM Race Survival
5 days
WardiTV Winter Champion…
5 days
Replay Cast
6 days
Epic.LAN
6 days
Liquipedia Results

Completed

Proleague 2026-02-10
Rongyi Cup S3
Underdog Cup #3

Ongoing

KCM Race Survival 2026 Season 1
Escore Tournament S1: W8
LiuLi Cup: 2025 Grand Finals
Nations Cup 2026
IEM Kraków 2026
BLAST Bounty Winter 2026
BLAST Bounty Winter Qual
eXTREMESLAND 2025
SL Budapest Major 2025

Upcoming

[S:21] ASL SEASON OPEN 1st Round
[S:21] ASL SEASON OPEN 1st Round Qualifier
[S:21] ASL SEASON OPEN 2nd Round
[S:21] ASL SEASON OPEN 2nd Round Qualifier
Acropolis #4
IPSL Spring 2026
HSC XXIX
uThermal 2v2 2026 Main Event
Bellum Gens Elite Stara Zagora 2026
RSL Revival: Season 4
WardiTV Winter 2026
CCT Season 3 Global Finals
FISSURE Playground #3
IEM Rio 2026
PGL Bucharest 2026
Stake Ranked Episode 1
BLAST Open Spring 2026
ESL Pro League Season 23
ESL Pro League Season 23
PGL Cluj-Napoca 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.