I need some help with dual statements:

1) x*y+(xy+1)= dual x+(y*x)+y * 0= or dual x+(y*x)

2) (x+y)* (0+1) = dual x*y

Are they correct? thank you!

Printable View

- Dec 13th 2011, 10:46 AMtinabakerdual statement
I need some help with dual statements:

1) x*y+(xy+1)= dual x+(y*x)+y * 0= or dual x+(y*x)

2) (x+y)* (0+1) = dual x*y

Are they correct? thank you! - Dec 13th 2011, 11:57 AMemakarovRe: dual statement
How is xy different from x*y?

Could you explain what "dual F" means for some Boolean formula F? Usually, to obtain a dual formula one replaces * with + and vice versa (plus some other replacements). I don't see the dual of x * y from the left-hand side, which is x + y.

Also, what does = mean here: equality of syntactic expressions or logical equivalence? - Dec 13th 2011, 12:04 PMtinabakerRe: dual statement
xy and x*y are the same.

the first part of x * y ...then x+(y ...in dual

"=" just means the same x+(y*x)+y * 0 and or dual x+(y*x)

just removed y*0 since it just 0...

but I am not sure about it all...so wanted to check here. - Dec 13th 2011, 12:16 PMemakarovRe: dual statement
Sorry, I did not understand this because the sentence lacks a verb.

Does "same" here mean "are equal character by character" or "have the same truth value for each value of x, y"? Since you say that y*0 is just 0, I think it's the latter...

- Dec 13th 2011, 12:19 PMtinabakerRe: dual statement
Dual means replace 0 by 1, 1 by 0, +by*, *by+

let me rewrite this thing:

xy+(xy+1) then dual: x+(yx) - Dec 13th 2011, 12:23 PMemakarovRe: dual statement
- Dec 13th 2011, 12:28 PMtinabakerRe: dual statement
you are correct! I see it now. haha

so my second: (x+y) (0+1)

dual is xy+1*0

Thank you. - Dec 13th 2011, 12:30 PMemakarovRe: dual statement