O fato de o complemento do produto ser igual à soma dos complementos, ou seja, (A'·B') = A' + B', é justificado