autre
- 116
- 0
I need to verify this identity:
(A\B)\DeltaC = (A\DeltaC)\Delta(A\bigcapB)
(with delta standing for the symmetric difference, I don't know the proper latex code) I've tried it "brute force" several times, working out each side and simplifying it until the sides are equal (it's likely that I'm messing up a negation somewhere) and I've found this method rather cumbersome. Is there any simpler way to solve this?
(A\B)\DeltaC = (A\DeltaC)\Delta(A\bigcapB)
(with delta standing for the symmetric difference, I don't know the proper latex code) I've tried it "brute force" several times, working out each side and simplifying it until the sides are equal (it's likely that I'm messing up a negation somewhere) and I've found this method rather cumbersome. Is there any simpler way to solve this?