- From: pat hayes <phayes@ai.uwf.edu>
- Date: Fri, 18 May 2001 17:16:28 -0500
- To: "Sean B. Palmer" <sean@mysterylights.com>
- Cc: www-rdf-logic@w3.org
>Isn't an "exclusive or" just stating something as being a disjoint >union? Not exactly; it is what is sometimes called the symmetric difference. That is, the class of things that satisfy (A xor B) is the things that satisfy B and not A, plus those that satisfy A and not B. In a Venn diagram it looks like a figure-8 with a hole in the middle (in contrast with (A or B), which looks like the whole figure-8). Disjoint union looks like two circles that don't overlap. For Booleans, the Venn diagram boils down to 4 points, so these distinctions get kind of blurred. Pat Hayes --------------------------------------------------------------------- IHMC (850)434 8903 home 40 South Alcaniz St. (850)202 4416 office Pensacola, FL 32501 (850)202 4440 fax phayes@ai.uwf.edu http://www.coginst.uwf.edu/~phayes
Received on Friday, 18 May 2001 18:16:28 UTC