La pregunta es muy amplia.
Se puede resolver con una derivación (justificando que se usa corrección), o directamente usando conceptos semánticos (significado de |= y demás). La idea del ejercicio es jugar con las variables, de forma conveniente.
¿Qué se te ocurrió hacer hasta ahora?
¿Qué nos están diciendo esas fórmulas?