Estas reglas permiten mover los paréntesis en expresiones lógicas usadas en pruebas lógicas.