| p | q | p xor q | p 
q |
p 
q |
~(p
q) |
(p
q)
~(p
q) |
||
| T | T | F | T | T | F | F | ||
| T | F | T | T | F | T | T | ||
| F | T | T | T | F | T | T | ||
| F | F | F | F | F | T | F |
Example 1.1.4
Testing For Logical Equivalence
of Exclusive Or
| p | q | p xor q | p
q |
p
q |
~(p
q) |
(p
q)
~(p
q) |
||
| T | T | F | T | T | F | F | ||
| T | F | T | T | F | T | T | ||
| F | T | T | T | F | T | T | ||
| F | F | F | F | F | T | F |
