Re: Name of this property? F(A^B^C) = F(A)^F(B)^F(C)



Francois Grieu wrote:
Hence my remark boils down to: all functions with bit vectors
of fixed size as input and output, that can be obtained from
CRCs by composition, XOR, bit complementation and swapping,
are affine functions.
This gives an easy test to either show, from chosen or random
examples, that some function is not a CRC variant; or predict
it for any input, from just m+1 outputs, where m is the number
of bits in the input (a working inputs set is the m+1 inputs
with at most 1 bit set).

Yes.

It's a nice observation, and one that translates directly into
practice. Thanks.
.