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

Accumulated amount , $26,000 is spended for two years. In the first year it...

$26,000 is spended for two years. In the first year it gets interest at 8.3% p.a. compounded semi annually. In the same year the rate of interest changes to 7.5% p.a. compounded da

Linear programming, Consider the following linear programming problem: M...

Consider the following linear programming problem: Min (12x 1 +18x 2 )             X 1 + 2x 2 ≤ 40             X 1 ≤ 50             X 1 + X 2 = 40             X

Integers satisfy the inequality, How many integers satisfy the inequality |...

How many integers satisfy the inequality |10(x+1)/x^2+2x+3|=1? Solution) first thing thats not an inequality, and second thing its very easy if thats the question. the LHS = |10/

Subtraction of like terms with same signs, Suppose we are required to...

Suppose we are required to find the difference between 3abc and 7abc. We look at two scenarios. The value we would obtain by subtracting a larger quantity from th

How much did kara pay in interest, Kara borrowed $3,650 for one year at an ...

Kara borrowed $3,650 for one year at an annual interest rate of 16%. How much did Kara pay in interest? To ?nd out 16% of $3,650, multiply $3,650 through the decimal equivalent

Test of hypothesis on proportions, Test Of Hypothesis On Proportions It...

Test Of Hypothesis On Proportions It follows a similar method to the one for means except that the standard error utilized in this case: Sp = √(pq/n)  Z score is computed

Liniar Algebra, Assume A and B are symmetric. Explain why the following are...

Assume A and B are symmetric. Explain why the following are symmetric or not. 1) A^2 - B^2 2) (A+B)(A-B) 3) ABA 4) ABAB 5) (A^2)B

Solid Mensuration, The two sides of a triangle are 17 cm and 28 cm long, an...

The two sides of a triangle are 17 cm and 28 cm long, and the length of the median drawn to the third side is equal to 19.5 cm. Find the distance from an endpoint of this median to

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