Comments on When does Exclusive Or, ⊕, automatically become Inclusive Or?
Post
When does Exclusive Or, ⊕, automatically become Inclusive Or?
+0
−3
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 comment thread