Règles de mise à jour

$$\begin{array}{rcl}B_xB_y \lnot P & \Longrightarrow& \lnot B_xB_yP \\ B_xP & \Longrightarrow& \lnot B_x \lnot P\end{array}$$

Ces règles permettent de détruire les conditions d'entrée, une fois que le conflit est résolu.