Exponential operator

[Daniel Keep]

Michel Fortin wrote:
> On 2009-08-07 06:50:25 -0400, "Lars T. Kyllingstad"
> <public at kyllingen.NOSPAMnet> said:
> 
>> Daniel Keep has proposed the syntax
>>
>>    a*^b
>>
>> while my suggestion was
>>
>>    a^^b
> 
> I always wondered why there isn't an XOR logical operator.
> 
>     binary     logical
>     (a & b) => (a && b)
>     (a | b) => (a || b)
>     (a ^ b) => (a ^^ b)

 a | b | a ^^ b | a != b
---+---+--------+--------
 F | F |   F    |   F
 F | T |   T    |   T
 T | F |   T    |   T
 T | T |   F    |   F

That's why.