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

Prove that op=2ap, Two tangents PA and PB are drawn to the circle with cent...

Two tangents PA and PB are drawn to the circle with center O, such that ∠APB=120 o . Prove that OP=2AP. Ans:    Given : - ∠APB = 120o Construction : -Join OP To prove : -

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

Example of infinite interval - improper integrals, Evaluate the subsequent ...

Evaluate the subsequent integral. Solution This is an innocent enough looking integral. Though, because infinity is not a real number we cannot just integrate as norm

Sequence, how to find the indicated term?

how to find the indicated term?

An even function, Assume that   i)  Determine all the roots of f...

Assume that   i)  Determine all the roots of f(x) = 0. ii)  Determine the value of k that makes h continuous at x = 3. iii)  Using the value of k found in (ii), sh

Harmonic mean, If a, b and c are in harmonic progression with b as th...

If a, b and c are in harmonic progression with b as their harmonic mean then, b  = This is obtained as follows. Since a, b and c are in

Polynomial time algorithm - first order query, For queries Q 1 and Q 2 , w...

For queries Q 1 and Q 2 , we say Q 1 is contained in Q 2 , denoted Q 1 ⊆ Q 2 , iff Q 1 (D) ⊆ Q 2 (D) for every database D. The container problem for a fixed Query Q 0 i

Logs, the variables x and y are thought to be related by a law of the form ...

the variables x and y are thought to be related by a law of the form ay^2=(x+b)lnx Where a and b are unknown constants. Can a and b be found and how.

Function that computes the product of two matrices, Write a function that c...

Write a function that computes the product of two matrices, one of size m × n, and the other of size n × p. Test your function in a program that passes the following two matrices t

Mortgages, compute the monthly payment on a 30 year level payment mortagage...

compute the monthly payment on a 30 year level payment mortagagesasuming an annual mortgages principal of $400000

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