Error-Detecting Codes (CRC)
Two isolated single bit errors: E(x) = x^i + x^j = x^j(x^(i - j) + 1), i > j.
- Assume that G(x) is not divisible by x, a sufficient condition for double errors to be detected is that G(x) does not divide x^k+1 upto the maximum of i-j.
Odd number of bits in error: Make x+1 a factor of G(x) & we can catch all errors consisting of an odd number of inverted bits.
READ PARA starting bottom of p189 on own.