# Thread: Can Anyone Figure Out This Problem(Greatly Appreciated!!)

1. ## Can Anyone Figure Out This Problem(Greatly Appreciated!!)

This is Boolean Algebra. I have to prove that these two sides are equivalent without using a truth table(I already did that.).

(x'^y'^z)v(x^y'^z)v(x^y^z)=(x^z)v(y'^z)

I am using (^) as "and" and (v) as "or"

2. By the way, I have to make the left side equivalent to the right side...

3. ## Distributivity

Originally Posted by rkn0720
This is Boolean Algebra. I have to prove that these two sides are equivalent without using a truth table(I already did that.).

(x'^y'^z)v(x^y'^z)v(x^y^z)=(x^z)v(y'^z)

I am using (^) as "and" and (v) as "or"

There may be a shorter way, but I would use the distributive property. I.e., $a \lor (b \land c) = (a \lor b) \land (a \lor c)$.