Prove the boolean expression, Mathematics

Assignment Help:

Prove the subsequent Boolean expression:

(x∨y) ∧ (x∨~y) ∧ (~x∨z) = x∧z

Ans: In the following expression, LHS is equal to:  

(x∨y)∧(x∨ ~y)∧(~x ∨ z) = [x∧(x∨ ~y)] ∨ [y∧(x∨ ~y)] ∧(~x ∨ z)

= [x∧(x∨ ~y)] ∨ [y∧(x∨ ~y)] ∧(~x ∨ z)

= [(x∧x) ∨ (x∧~y)] ∨ [(y∧x)∨ (y∧~y)] ∧(~x ∨ z)

= [x ∨ (x∧~y)] ∨ [(y∧x)∨ 0] ∧(~x ∨ z)

= [x ∨ (y∧x)] ∧(~x ∨ z)  [x ∨ (x∧~y) =x]

= x ∧(~x ∨ z)   [x ∨ (x∧y) =x]

= [x ∧~x)] ∨ (x ∧ z)  [x ∨ (x∧~y) =x]

= 0 ∨ (x ∧ z) = (x ∧ z) = RHS


Related Discussions:- Prove the boolean expression

Example of linear in - equation - linear algebra, Explain some Examples of ...

Explain some Examples of linear in - Equation, with solution.

#titlefunction.., provide a real-world example or scenario that can be expr...

provide a real-world example or scenario that can be express as a relation that is not a function

Find the distance between these two cities, Memphis, Tennessee, and New Orl...

Memphis, Tennessee, and New Orleans, Louisiana, lie approximately on the same meridian. Memphis has latitude 35°N and New Orleans has latitude 30°N. Find the distance between these

Pre-algebra, How do you solve a table to get the function rule?

How do you solve a table to get the function rule?

Shortcuts, pls told the maths shortcuts

pls told the maths shortcuts

Proof by Condratiction, "Prove by contradiction that no root of the equatio...

"Prove by contradiction that no root of the equation x^18 -2x^13 + x^5 -3x^3 + x - 2 = 0 is an integer divisible by 3" Any help would be very much appreciated!

Algebra, find the value of A and B if the following polynomials are perfect...

find the value of A and B if the following polynomials are perfect square:

solve the game by linear programming, UA and DU are preparing for the NCAA...

UA and DU are preparing for the NCAA basketball game championship. They are setting up their strategies for the championship game. Assessing the strength of their "benches", each c

Decision trees and bayes theory, Decision Trees And Bayes Theory This m...

Decision Trees And Bayes Theory This makes an application of Bayes' Theorem to resolve typical decision problems. It is examined a lot so it is significant to clearly understan

Write Your Message!

Captcha
Free Assignment Quote

Assured A++ Grade

Get guaranteed satisfaction & time on delivery in every assignment order you paid with us! We ensure premium quality solution document along with free turntin report!

All rights reserved! Copyrights ©2019-2020 ExpertsMind IT Educational Pvt Ltd