sentences:  Formally, a parity check matrix, "H" of a linear code "C" is a generator matrix of the dual code, "C"⊥.This means that a codeword c is in "C "if and only if the matrix-vector product (some authors would write this in an equivalent form, c"H"⊤ = 0.