Boolean's Algebra - SOP

WBahn

Joined Mar 31, 2012
29,976
Can someone please explain why the F( X, Y ) is XY' + XY ? IMO , it is X'Y' + X'Y +XY' +XY .... or the author simplified it to become XY' + XY ? how to simplify it?
Your four-term expression covers ALL four possibilities, and thus would reduce to F(X,Y)=True.

The expression XY' + XY reduces to just X. Do you see how that is the case?
 

WBahn

Joined Mar 31, 2012
29,976
here's my working:
(X'Y') + (X'Y) + (XY') + (XY)
=XY +Y'(X' +X ) +X'Y
= XY +Y' +X'Y
=XY +Y' +X'Y
= Y(X +X') +Y'
= Y+Y'
And what is Y+Y' equal to?

Where did you come up with that first expression? Remember that SOP is the sum of all the minterms for which the output is True. You can't just sum up all of the combinations because then you are saying that the output doesn't matter.
 

Thread Starter

kelvinmacks

Joined Dec 15, 2014
19
And what is Y+Y' equal to?

Where did you come up with that first expression? Remember that SOP is the sum of all the minterms for which the output is True. You can't just sum up all of the combinations because then you are saying that the output doesn't matter.
Y+Y' = 1
 

cssc

Joined Oct 19, 2014
26
in the attached file,
it is given that
"Here, the SOP is F(X,Y)=XY'+XY"
but I don't think that's true, because,
that equation doesn't satisfy for the values given in the truthtable
like,
X=0,Y=1,F=1
X.Y'+X.Y=(0.0)+(0.1)=0 but not 1

SOP would obviously be
X'Y'+XY'+X'Y+XY=1 (TRUE)
 

WBahn

Joined Mar 31, 2012
29,976
in the attached file,
it is given that
"Here, the SOP is F(X,Y)=XY'+XY"
but I don't think that's true, because,
that equation doesn't satisfy for the values given in the truthtable
like,
X=0,Y=1,F=1
X.Y'+X.Y=(0.0)+(0.1)=0 but not 1
You are correct that F(X,Y) = XY' + XY does not agree with the table above it, though the table appears to extend to the right of the three columns you have shown, so it could be that there is something there that affects how the equation below it is supposed to be interpreted.

But I don't get how you are saying:

SOP would obviously be
X'Y'+XY'+X'Y+XY=1 (TRUE)
What about X=0, Y=0 or X=1, Y=1? Those are each supposed to yield F=0 but your expression yields F=1 for both (indeed, for ALL combinations).
 

Thread Starter

kelvinmacks

Joined Dec 15, 2014
19
Okay, so where do these lead you?
after reading your post, i have a several questions here:
1.) according to your notes , A minterm is a Boolean's expression that is true fir the minimum number of combinations of inputs ;this minimum number is exactly one. What do you mean by this? I still cant understand , can you please explain further ?
2.) A maxterm is a Boolean's expression that is true for the maximum number of combinations of inputs; this maximum number is exactly one fewer than the total number of possibilities . What do you mean by this? I still cant understand , can you please explain further ?
 

WBahn

Joined Mar 31, 2012
29,976
after reading your post, i have a several questions here:
1.) according to your notes , A minterm is a Boolean's expression that is true fir the minimum number of combinations of inputs ;this minimum number is exactly one. What do you mean by this? I still cant understand , can you please explain further ?
2.) A maxterm is a Boolean's expression that is true for the maximum number of combinations of inputs; this maximum number is exactly one fewer than the total number of possibilities . What do you mean by this? I still cant understand , can you please explain further ?
Say we have four variables, {A,B,C,D}. If one of our terms is ABC, then this is NOT a minterm because it covers two combinations: It is true if {A,B,C,D} are all True, but is it also True if {A,B,C} are True but {D} is False. In order to be a minterm, it must have ALL four variables (with each variable being either complemented or noncomplemented).

Similarly, A+B+C is False if {A,B,C,D} are all False, but it is also False if {A,B,C} are all False but {D} is True. In order to be a maxterm, it must have ALL four variables (with each variable being either complemented or noncomplemented).
 

Thread Starter

kelvinmacks

Joined Dec 15, 2014
19
Say we have four variables, {A,B,C,D}. If one of our terms is ABC, then this is NOT a minterm because it covers two combinations: It is true if {A,B,C,D} are all True, but is it also True if {A,B,C} are True but {D} is False. In order to be a minterm, it must have ALL four variables (with each variable beinwellg either complemented or noncomplemented).

Similarly, A+B+C is False if {A,B,C,D} are all False, but it is also False if {A,B,C} are all False but {D} is True. In order to be a maxterm, it must have ALL four variables (with each variable being either complemented or noncomplemented).
well , can you explain why the minterm involve multiplication operation , and why the maxterm involve addition operation?
 

WBahn

Joined Mar 31, 2012
29,976
well , can you explain why the minterm involve multiplication operation , and why the maxterm involve addition operation?
Well, think about it (and it is described in the blog).

Let's again consider a system with four variables, {A,B,C,D}.

If our goal is to build a minterm and we take a single variable, say A, how many of the possible 16 combinations is it True for? Eight. We want to build an expression that is True for exactly one. We can either AND another variable with it or we can OR another variable with it. Which one will reduce the number of combinations for which the expression is true?

If our goal is to build a maxterm and we take a single variable, say A, how many of the possible 16 combinations is it True for? Eight. We want to build an expression that is True for exactly all BUT one. So we can either AND another variable with it or we can OR another variable with it. Which one will increase the number of combinations for which the expression is true?
 

Thread Starter

kelvinmacks

Joined Dec 15, 2014
19
You are correct that F(X,Y) = XY' + XY does not agree with the table above it, though the table appears to extend to the right of the three columns you have shown, so it could be that there is something there that affects how the equation below it is supposed to be interpreted.
do you mean the F(X, Y) from the book is wrong? so the F(X, Y) should be X'Y'+XY'+X'Y+XY ?
 

WBahn

Joined Mar 31, 2012
29,976
do you mean the F(X, Y) from the book is wrong? so the F(X, Y) should be X'Y'+XY'+X'Y+XY ?
The issue of whether it should be X'Y'+XY'+X'Y+XY has already been addressed. This expression covers ALL FOUR possible combinations and is therefore ALWAYS true. Is the function represented by the truth table always true? If not, then you know that this expression is not the function for that truth table.

What are in the remaining columns in that table? It appears that there are additional columns that are cut off.
 
Top