Logical 'xor': y = oneTrue(u) (y is true, if exactly one element of u is true, otherwise it is false)