Cette technique s’emploie avec deux alternatives qui diffèrent par un seul booléen.
Soient deux booléens x et y.
Soit A une alternative contenant des booléens (a,b,c…) et un booléen x.
Soit A’ une alternative contenant les booléens (a,b,c,…) identiques à ceux de A, et le booléen y.
Dans ce cas, x=y : on peut remplacer l’un par l’autre.
Ici a1=f1.
Donc, le booléen f1 de la ligne Oscar peut être échangé avec le booléen a1… Ou le booléen a1 de la ligne Aya peut être échangé avec le booléen f1.