I Meant for all 3 parts of this?

Printable View

- February 3rd 2013, 06:30 AMjuliieRe: Urgent pleaseeeeeee
- February 3rd 2013, 06:32 AMILikeSerenaRe: Urgent pleaseeeeeee
I intended the application of the distributive law to ((x' ∨ y')(x)).

And also to ((x' ∨ y')(y)). - February 3rd 2013, 06:41 AMjuliieRe: Urgent pleaseeeeeee
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') - February 3rd 2013, 06:42 AMILikeSerenaRe: Urgent pleaseeeeeee
Good! :)

Can you find another law to apply?

One that resembles the sub expressions you have now? - February 3rd 2013, 06:49 AMjuliieRe: Urgent pleaseeeeeee
:)

is it the Absorption 1) x∧(x∨y) = x - February 3rd 2013, 06:51 AMILikeSerenaRe: Urgent pleaseeeeeee
I agree that it resembles it, but no, it does not match...

Another? - February 3rd 2013, 06:56 AMjuliieRe: Urgent pleaseeeeeee
is it the of Associativity of ∨) x∨(y∨z) = (x∨y)∨z

- February 3rd 2013, 06:57 AMILikeSerenaRe: Urgent pleaseeeeeee
Nope. Try

*complementation*. - February 3rd 2013, 07:03 AMjuliieRe: Urgent pleaseeeeeee
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! - February 3rd 2013, 07:20 AMILikeSerenaRe: Urgent pleaseeeeeee
Oops. I just noticed I missed a small mistake here.

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? - February 3rd 2013, 07:33 AMjuliieRe: Urgent pleaseeeeeee
can we do the Identity for ∨) x∨0 = x ?

so

(0 V (xy')) = xy'

(0V(yx')) = yx' - February 3rd 2013, 07:47 AMjuliieRe: Urgent pleaseeeeeee
which means (0 V (xy')) V (0V(yx')) = xy' V yx'

and that's the proof? - February 3rd 2013, 07:52 AMILikeSerenaRe: Urgent pleaseeeeeee
Yup!

Congratulations! :D - February 3rd 2013, 07:55 AMjuliieRe: Urgent pleaseeeeeee
oh my god thank you sooooooooooooooooooo much you're amazing!