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

Zero-day attack, What is Zero-Day Attack? Explain Zero-Day Attack

What is Zero-Day Attack? Explain Zero-Day Attack

What is transitive relations:, R is called as a transitive relation if (a, ...

R is called as a transitive relation if (a, b) € R, (b, c) € R → (a, c) € R In other terms if a belongs to b, b belongs to c, then a belongs to c.         Transitivity be uns

Circle, prove the the centre of a circle is twice of reference angle

prove the the centre of a circle is twice of reference angle

AREA, How do you find the distributive property any faster?

How do you find the distributive property any faster?

Percentage, there are 300 students in the sixth grade. if 40% of them were ...

there are 300 students in the sixth grade. if 40% of them were girls, how many boys were there?

Find the coordinates of the other two vertices, The two opposite vertices o...

The two opposite vertices of a square are (-1, 2) and (3, 2). Find the coordinates of the other two vertices.

Assigment, Q1: Find three positive numbers whose sum is 54 and whose produc...

Q1: Find three positive numbers whose sum is 54 and whose product is as large as possible.

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