Search code examples
boolean-expressionsimplificationboolean-algebra

Which laws simplify this boolean expression?


Which laws do I need to use to simplify

!X + (!Y + !Z)*(Y + Z)

to

!X + (Y*!Z) + (!Y*Z)

Solution

  • You can first start by distributivity of multiplication over addition:

    !X + (!Y + !Z)*(Y + Z) = !X + !Y*Y + !Z*Y + !Y*Z + !Z*Z
    

    Then, we can use complementation to remove elements of the form !p*p:

    = !X + 0 + !Z*Y + !Y*Z + 0
    

    And finally remove the 0 as they are +'s neutral.