Lo anterior se lee: "(Obligatorio "p") si y solamente si (prohibido no "p") si y solamente si (no permitido no "p")".