Question

In: Computer Science

Prove that The OR operation is closed for all x, y ∈ B x + y ∈ B

Boolean Algebra

Prove that The OR operation is closed for all x, y ∈ B x + y ∈ B

and

Prove that The And operation is closed for all x, y ∈ B x . y ∈ B

Solutions

Expert Solution

A mathematical structure O is said to be closed under an operation +

if there are a,b belongs to O then a + b also belongs to O.

Q 1: Prove that The OR operation is closed for all x, y ∈ B x + y ∈ B

Proof: Let x and y belongs to Binary set B ={0,1}

if we add x and y we have four cases

0+0=0

0+1=1

1+0=1

1+1=1

so the addition of x+y also yields 0 or 1 that belongs to B

Hence x+y is closed under B.

Q 2: Prove that The OR operation is closed for all x, y ∈ B x . y ∈ B

Proof: Let x and y belongs to Binary set B ={0,1}

if we multiply x and y we have four cases

0.0=0

0.1=0

1.0=0

1.1=1

so the multiplication of x and y also yields 0 or 1 that belongs to B

Hence x.y is closed under B.


Related Solutions

2. Prove the following properties. (b) Prove that x + ¯ xy = x + y.
2. Prove the following properties.(b) Prove that x + ¯ xy = x + y.3. Consider the following Boolean function: F = x¯ y + xy¯ z + xyz(a) Draw a circuit diagram to obtain the output F. (b) Use the Boolean algebra theorems to simplify the output function F into the minimum number of input literals.
Let x, y ∈ R. Prove the following: (a) 0 < 1 (b) For all n...
Let x, y ∈ R. Prove the following: (a) 0 < 1 (b) For all n ∈ N, if 0 < x < y, then x^n < y^n. (c) |x · y| = |x| · |y|
L ={x^a y^b z^c | c=a+b} a) Prove that L is not regular. b)Prove by giving...
L ={x^a y^b z^c | c=a+b} a) Prove that L is not regular. b)Prove by giving a context-free grammar that the L is context free. c)Give a regular expression of the complement L'.
L ={x^a y^b z^c | c=a+b} a) Prove that L is not regular. b)Prove by giving...
L ={x^a y^b z^c | c=a+b} a) Prove that L is not regular. b)Prove by giving a context-free grammar that the L is context free. c)Give a regular expression of the complement L'.
y=a+bx b <0 prove that x and y are perfectly negatively correlated
y=a+bx b <0 prove that x and y are perfectly negatively correlated
a. Prove that y=sin(x) is a subspace of R^2 b. Prove that a set of 2x2...
a. Prove that y=sin(x) is a subspace of R^2 b. Prove that a set of 2x2 non invertible matrices a subspace of all 2x2 matrices
Assume that an operation * is defined as follows: x * y = x' + y...
Assume that an operation * is defined as follows: x * y = x' + y Using Boolean algebra theorems and postulates (don’t use K-maps), check whether the operation * is associative or not?
Differential Geometry Open & Closed Sets, Continuity Prove f(t)=(x(t),y(t)) is continuous iff x(t) and y(t) are...
Differential Geometry Open & Closed Sets, Continuity Prove f(t)=(x(t),y(t)) is continuous iff x(t) and y(t) are continuous
. Let x, y ∈ R \ {0}. Prove that if x < x^(−1) < y...
. Let x, y ∈ R \ {0}. Prove that if x < x^(−1) < y < y^(−1) then x < −1.
Prove that for any real numbers a and b, there exists rational numbers x and y...
Prove that for any real numbers a and b, there exists rational numbers x and y where y>0 such that a < x-y < x+y < b
ADVERTISEMENT
ADVERTISEMENT
ADVERTISEMENT