Lo anterior se lee: "(Facultativo "p") si y solamente si (Permitido "p" y permitido no "p")".