Question

In: Computer Science

Use two different ways to prove X Y + Z = (X + Z)(Y + Z)....

Use two different ways to prove X Y + Z = (X + Z)(Y + Z).
a) Use pure algebraic way

b) k-maps

Solutions

Expert Solution

a)

XY+Z=(X+Z)(Y+Z)

Applying distributive law to R.H.S(right hand side) then we get;

XY+Z= XY+XZ+ZY+ZZ

XY+Z= XY+XZ+ZY+Z(idempotents law , Z.Z=Z)

XY+Z=XY+Z(X+Y+1)

Applying property of 0 and 1 . that is 1+Z=1)

XY+Z=XY+Z.1

Applying property of 0 and 1, that is , Z.1=Z

so,

XY+Z=XY+Z

L.H.S=R.H.S

Hence proved

b)

Truth table of L.H.S , that is XY+Z is given below:

The k-map for the above truth table is given below:

We are finding SOP. We have obtained three groups

from group 1, we get,

001= X'Y'Z

011=X'YZ

So we get, X'Z

from group 2, we get,

001 = X'Y'Z

101= XY'Z

So we get Y'Z

from group 3, we get;

110=XYZ'

by combining all that we get L.H.S= X'Z+Y'Z+XYZ'

Truth table for the R.H.S is given below:

K-map for the truth table is given below:

we have obtained two groups

from group 1, we get ;

001= X'Y'Z

from the group 2 we get;

110=XYZ'

By combining them we get; R.H.S= X'Y'Z+XYZ'


Related Solutions

If X, Y and Z are three arbitrary vectors, prove these identities: a. (X×Y).Z = X.(Y×Z)...
If X, Y and Z are three arbitrary vectors, prove these identities: a. (X×Y).Z = X.(Y×Z) b. X×(Y×Z) = (X.Z)Y – (X.Y)Z c. X.(Y×Z) = -Y.(X×Z)
Let x, y ∈ Z. Prove that x ≡ y + 1 (mod 2) if and...
Let x, y ∈ Z. Prove that x ≡ y + 1 (mod 2) if and only if x ≡ y + 1 (mod 4) or x ≡ y + 3 (mod 4)
Let x, y, z be a primitive Pythagorean triple with y even. Prove that x+y ≡...
Let x, y, z be a primitive Pythagorean triple with y even. Prove that x+y ≡ x−y ≡ ±1 mod 8.
If (x,y,z) is a primitive Pythagorean triple, prove that z= 4k+1
If (x,y,z) is a primitive Pythagorean triple, prove that z= 4k+1
Prove Proposition 6.10 (Let f : X → Y and g : Y → Z be...
Prove Proposition 6.10 (Let f : X → Y and g : Y → Z be one to one and onto functions. Then g ◦ f : X → Z is one to one and onto; and (g ◦ f)−1 = f−1 ◦ g−1 ).
Use simulation to prove that when X ∼ N(0, 1), Z ∼ N(0, 1), Y =...
Use simulation to prove that when X ∼ N(0, 1), Z ∼ N(0, 1), Y = X3 + 10X +Z, we have V ar(X +Y ) = V ar(X) +V ar(Y ) + 2Cov(X, Y ) and V ar(X −Y ) = V ar(X) + V ar(Y ) − 2Cov(X, Y ).
Use implicit differentiation to find ∂z/∂x and ∂z/∂y if xz = cos (y + z).
Use implicit differentiation to find ∂z/∂x and ∂z/∂y if xz = cos (y + z).
Given function f(x,y,z)=x^(2)+2*y^(2)+z^(2), subject to two constraints x+y+z=6 and x-2*y+z=0. find the extreme value of f(x,y,z)...
Given function f(x,y,z)=x^(2)+2*y^(2)+z^(2), subject to two constraints x+y+z=6 and x-2*y+z=0. find the extreme value of f(x,y,z) and determine whether it is maximum of minimum.
The curried version of let f (x,y,z) = (x,(y,z)) is let f (x,(y,z)) = (x,(y,z)) Just...
The curried version of let f (x,y,z) = (x,(y,z)) is let f (x,(y,z)) = (x,(y,z)) Just f (because f is already curried) let f x y z = (x,(y,z)) let f x y z = x (y z)
Let X, Y ⊂ Z and x, y ∈ Z Let A = (X\{x}) ∪ {x}....
Let X, Y ⊂ Z and x, y ∈ Z Let A = (X\{x}) ∪ {x}. a) Prove or disprove: A ⊆ X b) Prove or disprove: X ⊆ A c) Prove or disprove: P(X ∪ Y ) ⊆ P(X) ∪ P(Y ) ∪ P(X ∩ Y ) d) Prove or disprove: P(X) ∪ P(Y ) ∪ P(X ∩ Y ) ⊆ P(X ∪ Y )
ADVERTISEMENT
ADVERTISEMENT
ADVERTISEMENT