When does Exclusive Or, ⊕, automatically become Inclusive Or?
Is X⊕ ¬X ≡ X ∨ ¬X ?
Anyways, without doing all the algebra and operations at the link below, how can I determine or see - by inspection - whether an Exclusive Or (⊕) can be simplified to an Inclusive Or? To wit, when does ⊕ imply Inclusive Or?
I am dodging algebra, as I am assuming that the poster (his name is poop man in the quote above) intuited that he can simplify the ⊕ in
(A ∧ ¬ B) ⊕ (¬ A ∧ C)
to an inclusive Or.
To wit, poop man started from intuition, then worked on the algebra. I'm assuming that he didn't dive head first into all that algebra, without any inkling or intuition whether he can simplify ⊕ into an inclusive-or.
1 answer
Your equivalence is rather silly since both sides are constants. More completely:
A and ¬A = 0
A nand ¬A = 1
A or ¬A = 1
A nor ¬A = 0
A xor ¬A = 1
You can just as well ask when XOR becomes NAND, or when AND becomes NOR, since they have the same values in the cases above. Or since
2 + 2 = 4
2 * 2 = 4
when does addition become multiplication?
Finding an instance where the result of two different operations happens to result in the same value doesn't mean much at all.

1 comment thread