Problem finding SOP form of f + gConvert boolean expression into SOP and POSMinimize SOP and POS algebraically?Is canonical SOP/POS form for a boolean expression unique?How many minimized forms can a boolean expression have with 4 variables?Karnaugh Map minimal SOP formIs the term 'Sum of min-terms' same as 'Standard SOP form' in Boolean Algebra?Simplify sop expression using Boolean algebraSOP expression simplifyCan there be prime implicants or essential prime implicants of SOP form?

Dragon forelimb placement

Is it legal for company to use my work email to pretend I still work there?

Can I make popcorn with any corn?

How to write a macro that is braces sensitive?

Why Is Death Allowed In the Matrix?

Why are 150k or 200k jobs considered good when there are 300k+ births a month?

Do VLANs within a subnet need to have their own subnet for router on a stick?

How can I make my BBEG immortal short of making them a Lich or Vampire?

What would happen to a modern skyscraper if it rains micro blackholes?

How does strength of boric acid solution increase in presence of salicylic acid?

Arthur Somervell: 1000 Exercises - Meaning of this notation

tikz: show 0 at the axis origin

Mage Armor with Defense fighting style (for Adventurers League bladeslinger)

TGV timetables / schedules?

Is this a crack on the carbon frame?

Why does Kotter return in Welcome Back Kotter?

Is a tag line useful on a cover?

How is the claim "I am in New York only if I am in America" the same as "If I am in New York, then I am in America?

Why did Neo believe he could trust the machine when he asked for peace?

LaTeX closing $ signs makes cursor jump

Why doesn't H₄O²⁺ exist?

Why do falling prices hurt debtors?

Test whether all array elements are factors of a number

Do I have a twin with permutated remainders?



Problem finding SOP form of f + g


Convert boolean expression into SOP and POSMinimize SOP and POS algebraically?Is canonical SOP/POS form for a boolean expression unique?How many minimized forms can a boolean expression have with 4 variables?Karnaugh Map minimal SOP formIs the term 'Sum of min-terms' same as 'Standard SOP form' in Boolean Algebra?Simplify sop expression using Boolean algebraSOP expression simplifyCan there be prime implicants or essential prime implicants of SOP form?













0












$begingroup$


I have a project and I am asked to find the sop form of f+g and find its cost and then compare it to the cost if I implement f and g separately.



enter image description here



I am trying to find SOP form of f+g and I am stack because f and g has nothing in common based on the form of and g that I've found:



f = x2'x5 + x1'x2'x4' + x2x4x5'



g = x1'x2' + x2x3' + x1x2x5



And based on those f+g = x2'x5 + x1'x2'x4' + x2x4x5' + x1'x2' + x2x3' + x1x2x5



Here are my karnaugh maps, f above, g below.





My question is: Should I keep what I have done? Or should I find new forms for f and g so that I can get a form for f + g that makes more sense?



Any tip or answer or any suggestion for my question is welcome. Thanks in advance.










share|cite|improve this question









$endgroup$







  • 1




    $begingroup$
    Your expressions for f and g are correct. Note that you took x5 to be the least-significant and x1 to be the most-significant input for your term numbering. The terms are often numbered in the opposite order.
    $endgroup$
    – Axel Kemper
    Mar 29 at 21:44










  • $begingroup$
    @AxelKemper Thanks for your help ... i am not really sure how you end up with that $f+g$ though.
    $endgroup$
    – Κωνσταντίνος Κορναράκης
    Mar 30 at 9:29















0












$begingroup$


I have a project and I am asked to find the sop form of f+g and find its cost and then compare it to the cost if I implement f and g separately.



enter image description here



I am trying to find SOP form of f+g and I am stack because f and g has nothing in common based on the form of and g that I've found:



f = x2'x5 + x1'x2'x4' + x2x4x5'



g = x1'x2' + x2x3' + x1x2x5



And based on those f+g = x2'x5 + x1'x2'x4' + x2x4x5' + x1'x2' + x2x3' + x1x2x5



Here are my karnaugh maps, f above, g below.





My question is: Should I keep what I have done? Or should I find new forms for f and g so that I can get a form for f + g that makes more sense?



Any tip or answer or any suggestion for my question is welcome. Thanks in advance.










share|cite|improve this question









$endgroup$







  • 1




    $begingroup$
    Your expressions for f and g are correct. Note that you took x5 to be the least-significant and x1 to be the most-significant input for your term numbering. The terms are often numbered in the opposite order.
    $endgroup$
    – Axel Kemper
    Mar 29 at 21:44










  • $begingroup$
    @AxelKemper Thanks for your help ... i am not really sure how you end up with that $f+g$ though.
    $endgroup$
    – Κωνσταντίνος Κορναράκης
    Mar 30 at 9:29













0












0








0


1



$begingroup$


I have a project and I am asked to find the sop form of f+g and find its cost and then compare it to the cost if I implement f and g separately.



enter image description here



I am trying to find SOP form of f+g and I am stack because f and g has nothing in common based on the form of and g that I've found:



f = x2'x5 + x1'x2'x4' + x2x4x5'



g = x1'x2' + x2x3' + x1x2x5



And based on those f+g = x2'x5 + x1'x2'x4' + x2x4x5' + x1'x2' + x2x3' + x1x2x5



Here are my karnaugh maps, f above, g below.





My question is: Should I keep what I have done? Or should I find new forms for f and g so that I can get a form for f + g that makes more sense?



Any tip or answer or any suggestion for my question is welcome. Thanks in advance.










share|cite|improve this question









$endgroup$




I have a project and I am asked to find the sop form of f+g and find its cost and then compare it to the cost if I implement f and g separately.



enter image description here



I am trying to find SOP form of f+g and I am stack because f and g has nothing in common based on the form of and g that I've found:



f = x2'x5 + x1'x2'x4' + x2x4x5'



g = x1'x2' + x2x3' + x1x2x5



And based on those f+g = x2'x5 + x1'x2'x4' + x2x4x5' + x1'x2' + x2x3' + x1x2x5



Here are my karnaugh maps, f above, g below.





My question is: Should I keep what I have done? Or should I find new forms for f and g so that I can get a form for f + g that makes more sense?



Any tip or answer or any suggestion for my question is welcome. Thanks in advance.







boolean-algebra






share|cite|improve this question













share|cite|improve this question











share|cite|improve this question




share|cite|improve this question










asked Mar 29 at 15:39









Κωνσταντίνος ΚορναράκηςΚωνσταντίνος Κορναράκης

290111




290111







  • 1




    $begingroup$
    Your expressions for f and g are correct. Note that you took x5 to be the least-significant and x1 to be the most-significant input for your term numbering. The terms are often numbered in the opposite order.
    $endgroup$
    – Axel Kemper
    Mar 29 at 21:44










  • $begingroup$
    @AxelKemper Thanks for your help ... i am not really sure how you end up with that $f+g$ though.
    $endgroup$
    – Κωνσταντίνος Κορναράκης
    Mar 30 at 9:29












  • 1




    $begingroup$
    Your expressions for f and g are correct. Note that you took x5 to be the least-significant and x1 to be the most-significant input for your term numbering. The terms are often numbered in the opposite order.
    $endgroup$
    – Axel Kemper
    Mar 29 at 21:44










  • $begingroup$
    @AxelKemper Thanks for your help ... i am not really sure how you end up with that $f+g$ though.
    $endgroup$
    – Κωνσταντίνος Κορναράκης
    Mar 30 at 9:29







1




1




$begingroup$
Your expressions for f and g are correct. Note that you took x5 to be the least-significant and x1 to be the most-significant input for your term numbering. The terms are often numbered in the opposite order.
$endgroup$
– Axel Kemper
Mar 29 at 21:44




$begingroup$
Your expressions for f and g are correct. Note that you took x5 to be the least-significant and x1 to be the most-significant input for your term numbering. The terms are often numbered in the opposite order.
$endgroup$
– Axel Kemper
Mar 29 at 21:44












$begingroup$
@AxelKemper Thanks for your help ... i am not really sure how you end up with that $f+g$ though.
$endgroup$
– Κωνσταντίνος Κορναράκης
Mar 30 at 9:29




$begingroup$
@AxelKemper Thanks for your help ... i am not really sure how you end up with that $f+g$ though.
$endgroup$
– Κωνσταντίνος Κορναράκης
Mar 30 at 9:29










1 Answer
1






active

oldest

votes


















1












$begingroup$

The following three-valued $0, 1, X$ disjunctive truth table combines two inputs to one output:



f g | f+g
----+----
0 0 | 0
0 1 | 1
0 X | X
1 0 | 1
1 1 | 1
1 X | 1
X 0 | X
X 1 | 1
X X | X


Whenever at least one input is $true$, the output becomes $true$. Both inputs have to be $false$ to make the output $false$. Input combination of $false$ and don't care leads to output don't care.



Applied to your problem:



enter image description here



Resulting minimized expression for $f + g$:



x3' + x1' x2' + x1 x2 x5 + x2 x4 x5'





share|cite|improve this answer









$endgroup$













    Your Answer





    StackExchange.ifUsing("editor", function ()
    return StackExchange.using("mathjaxEditing", function ()
    StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix)
    StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
    );
    );
    , "mathjax-editing");

    StackExchange.ready(function()
    var channelOptions =
    tags: "".split(" "),
    id: "69"
    ;
    initTagRenderer("".split(" "), "".split(" "), channelOptions);

    StackExchange.using("externalEditor", function()
    // Have to fire editor after snippets, if snippets enabled
    if (StackExchange.settings.snippets.snippetsEnabled)
    StackExchange.using("snippets", function()
    createEditor();
    );

    else
    createEditor();

    );

    function createEditor()
    StackExchange.prepareEditor(
    heartbeatType: 'answer',
    autoActivateHeartbeat: false,
    convertImagesToLinks: true,
    noModals: true,
    showLowRepImageUploadWarning: true,
    reputationToPostImages: 10,
    bindNavPrevention: true,
    postfix: "",
    imageUploader:
    brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
    contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
    allowUrls: true
    ,
    noCode: true, onDemand: true,
    discardSelector: ".discard-answer"
    ,immediatelyShowMarkdownHelp:true
    );



    );













    draft saved

    draft discarded


















    StackExchange.ready(
    function ()
    StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3167269%2fproblem-finding-sop-form-of-f-g%23new-answer', 'question_page');

    );

    Post as a guest















    Required, but never shown

























    1 Answer
    1






    active

    oldest

    votes








    1 Answer
    1






    active

    oldest

    votes









    active

    oldest

    votes






    active

    oldest

    votes









    1












    $begingroup$

    The following three-valued $0, 1, X$ disjunctive truth table combines two inputs to one output:



    f g | f+g
    ----+----
    0 0 | 0
    0 1 | 1
    0 X | X
    1 0 | 1
    1 1 | 1
    1 X | 1
    X 0 | X
    X 1 | 1
    X X | X


    Whenever at least one input is $true$, the output becomes $true$. Both inputs have to be $false$ to make the output $false$. Input combination of $false$ and don't care leads to output don't care.



    Applied to your problem:



    enter image description here



    Resulting minimized expression for $f + g$:



    x3' + x1' x2' + x1 x2 x5 + x2 x4 x5'





    share|cite|improve this answer









    $endgroup$

















      1












      $begingroup$

      The following three-valued $0, 1, X$ disjunctive truth table combines two inputs to one output:



      f g | f+g
      ----+----
      0 0 | 0
      0 1 | 1
      0 X | X
      1 0 | 1
      1 1 | 1
      1 X | 1
      X 0 | X
      X 1 | 1
      X X | X


      Whenever at least one input is $true$, the output becomes $true$. Both inputs have to be $false$ to make the output $false$. Input combination of $false$ and don't care leads to output don't care.



      Applied to your problem:



      enter image description here



      Resulting minimized expression for $f + g$:



      x3' + x1' x2' + x1 x2 x5 + x2 x4 x5'





      share|cite|improve this answer









      $endgroup$















        1












        1








        1





        $begingroup$

        The following three-valued $0, 1, X$ disjunctive truth table combines two inputs to one output:



        f g | f+g
        ----+----
        0 0 | 0
        0 1 | 1
        0 X | X
        1 0 | 1
        1 1 | 1
        1 X | 1
        X 0 | X
        X 1 | 1
        X X | X


        Whenever at least one input is $true$, the output becomes $true$. Both inputs have to be $false$ to make the output $false$. Input combination of $false$ and don't care leads to output don't care.



        Applied to your problem:



        enter image description here



        Resulting minimized expression for $f + g$:



        x3' + x1' x2' + x1 x2 x5 + x2 x4 x5'





        share|cite|improve this answer









        $endgroup$



        The following three-valued $0, 1, X$ disjunctive truth table combines two inputs to one output:



        f g | f+g
        ----+----
        0 0 | 0
        0 1 | 1
        0 X | X
        1 0 | 1
        1 1 | 1
        1 X | 1
        X 0 | X
        X 1 | 1
        X X | X


        Whenever at least one input is $true$, the output becomes $true$. Both inputs have to be $false$ to make the output $false$. Input combination of $false$ and don't care leads to output don't care.



        Applied to your problem:



        enter image description here



        Resulting minimized expression for $f + g$:



        x3' + x1' x2' + x1 x2 x5 + x2 x4 x5'






        share|cite|improve this answer












        share|cite|improve this answer



        share|cite|improve this answer










        answered Mar 30 at 13:48









        Axel KemperAxel Kemper

        3,51611418




        3,51611418



























            draft saved

            draft discarded
















































            Thanks for contributing an answer to Mathematics Stack Exchange!


            • Please be sure to answer the question. Provide details and share your research!

            But avoid


            • Asking for help, clarification, or responding to other answers.

            • Making statements based on opinion; back them up with references or personal experience.

            Use MathJax to format equations. MathJax reference.


            To learn more, see our tips on writing great answers.




            draft saved


            draft discarded














            StackExchange.ready(
            function ()
            StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3167269%2fproblem-finding-sop-form-of-f-g%23new-answer', 'question_page');

            );

            Post as a guest















            Required, but never shown





















































            Required, but never shown














            Required, but never shown












            Required, but never shown







            Required, but never shown

































            Required, but never shown














            Required, but never shown












            Required, but never shown







            Required, but never shown







            Popular posts from this blog

            Triangular numbers and gcdProving sum of a set is $0 pmod n$ if $n$ is odd, or $fracn2 pmod n$ if $n$ is even?Is greatest common divisor of two numbers really their smallest linear combination?GCD, LCM RelationshipProve a set of nonnegative integers with greatest common divisor 1 and closed under addition has all but finite many nonnegative integers.all pairs of a and b in an equation containing gcdTriangular Numbers Modulo $k$ - Hit All Values?Understanding the Existence and Uniqueness of the GCDGCD and LCM with logical symbolsThe greatest common divisor of two positive integers less than 100 is equal to 3. Their least common multiple is twelve times one of the integers.Suppose that for all integers $x$, $x|a$ and $x|b$ if and only if $x|c$. Then $c = gcd(a,b)$Which is the gcd of 2 numbers which are multiplied and the result is 600000?

            Ingelân Ynhâld Etymology | Geografy | Skiednis | Polityk en bestjoer | Ekonomy | Demografy | Kultuer | Klimaat | Sjoch ek | Keppelings om utens | Boarnen, noaten en referinsjes Navigaasjemenuwww.gov.ukOffisjele webside fan it regear fan it Feriene KeninkrykOffisjele webside fan it Britske FerkearsburoNederlânsktalige ynformaasje fan it Britske FerkearsburoOffisjele webside fan English Heritage, de organisaasje dy't him ynset foar it behâld fan it Ingelske kultuergoedYnwennertallen fan alle Britske stêden út 'e folkstelling fan 2011Notes en References, op dizze sideEngland

            Boston (Lincolnshire) Stedsbyld | Berne yn Boston | NavigaasjemenuBoston Borough CouncilBoston, Lincolnshire