Let me explain we know that: XOR (exclusive-or) ≡ symmetric difference = (A-B) ∪ (B-A).
we know that: XNOR (¬XOR i.e. negation of XOR) ≡ ↔ (Bi-condontional statement) = A=B iff (if and only if) B=A.
we know that: A-B (set difference) ≡ PΛ¬Q ≡ ¬(P→Q).
we know that: A∩B ≡ PΛQ
we know that: A∪B ≡ PνQ
I know this because I worked it out last night here are the truth tables in this PDF: https://www.dropbox.com/s/nc8201ccwwis4hi/truth%20tables.pdf?dl=0
now comes the fun part I have absolutely no idea what the hell are the truth tables for these:
- A ⊆ B
- A ⊂ B
- A ⊇ B
- A ⊃ B
also what are the truth tables for negation of these sets:
- ¬(A ⊆ B)
- ¬(A ⊂ B)
- ¬(A ⊇ B)
- ¬(A ⊃ B)
Please Somebody help my brain is wrecked and I can't think any more about this stuff. Let me know if there is anything you need I'd be happy to try and answer.