The binary operator ≠ is defined by the following truth table.
p | q | p≠q |
0 | 0 | 0 |
0 | 1 | 1 |
1 | 0 | 1 |
1 | 1 | 0 |
Both commutative and associative
The given truth table corresponds to p′q+pq′
= p⨁q.
⨁ is known to be both commutative and associative .