Somme logique
X = a + b = b + a

Produit logique
X = a . b = b . a

Somme logique
X = a + b + c = (a + b) + c = a + (b + c)

Produit logique
X = a . b . c = (a . b) . c = a . (b . c)

Produit logique
X = a . (b + c) = a . b + a . c

Exemple

Trajet AB = (Trajet a) ET (Trajet b OU Trajet c)
Trajet AB = (Trajet a) ET (Trajet b) OU (Trajet a) ET (Trajet c)
Produit logique
X = a + (b . c) = (a + b) . (a + c)

Exemple

Trajet PLM = (Moyen a) OU (Moyen b ET Moyen c)
Trajet PLM = (Moyen a OU Moyen b) ET (Moyen a OU Moyen c)
positron-libre