On Full-rank Parity-check Matrices of Product Codes