Show 40 post(s) from this thread on one page
Page 2 of 2 First 12
• Feb 3rd 2013, 05:30 AM
juliie
Quote:

Originally Posted by ILikeSerena
Yes! That is correct.

So $(xy \vee x'y')' = (xy)' \wedge (x'y')' = (x' \vee y') \wedge (x \vee y)$

The logical next step is to try the law of distributivity.
Care to try?

I Meant for all 3 parts of this?
• Feb 3rd 2013, 05:32 AM
ILikeSerena
I intended the application of the distributive law to ((x' ∨ y')(x)).
And also to ((x' ∨ y')(y)).
• Feb 3rd 2013, 05:41 AM
juliie
ohhh ok so it would be

((x)(x' V y')) = (x V x') ∧ (x V y')

((y)(x' V y')) = (y V x')∧ ( y V y')
• Feb 3rd 2013, 05:42 AM
ILikeSerena
Good! :)

Can you find another law to apply?
One that resembles the sub expressions you have now?
• Feb 3rd 2013, 05:49 AM
juliie
:)

is it the Absorption 1) x∧(x∨y) = x
• Feb 3rd 2013, 05:51 AM
ILikeSerena
I agree that it resembles it, but no, it does not match...

Another?
• Feb 3rd 2013, 05:56 AM
juliie
is it the of Associativity of ∨) x∨(y∨z) = (x∨y)∨z
• Feb 3rd 2013, 05:57 AM
ILikeSerena
Nope. Try complementation.
• Feb 3rd 2013, 06:03 AM
juliie
ohhh so its the x∨¬x = 1

and it will be ( y V y') = 1

but how will I do this one (y V x') ?

btw thank you soooo much!
• Feb 3rd 2013, 06:20 AM
ILikeSerena
Oops. I just noticed I missed a small mistake here.

Quote:

Originally Posted by juliie
ohhh ok so it would be

((x)(x' V y')) = (x V x') ∧ (x V y')

((y)(x' V y')) = (y V x')∧ ( y V y')

It should be:
((x)(x' V y')) = (x x') V (x y')

((y)(x' V y')) = (y x') V ( y y')

Be careful!

Now, let's go back to what we have:
((xy)∨(x'y'))' = ((x x') V (x y')) ∨ ((y x') V ( y y'))

You'll need to apply the other law of complementation:
((xy)∨(x'y'))' = ((x x') V (x y')) ∨ ((y x') V ( y y')) = (0 V (x y')) ∨ ((y x') V 0)

Can you do something more with this?
• Feb 3rd 2013, 06:33 AM
juliie
can we do the Identity for ∨) x∨0 = x ?

so

(0 V (xy')) = xy'

(0V(yx')) = yx'
• Feb 3rd 2013, 06:47 AM
juliie
which means (0 V (xy')) V (0V(yx')) = xy' V yx'

and that's the proof?
• Feb 3rd 2013, 06:52 AM
ILikeSerena
Yup!

Congratulations! :D
• Feb 3rd 2013, 06:55 AM
juliie