Translate the following recurrence into a matrix product: x[k+3] = x[k+2] xor ((a[k] and x[k]) or (b[k] xor c[k]))