Vincolo di propagazione utilizzando la regola di Proiezione

Question

Ho trovato questo esempio di vincolo di propagazione utilizzando la regola di proiezione

Abbiamo

C = { x1 ≠ x2, x1 ≥ x2 }

< C; x1 ∈ {1,2,3}, x2 ∈ {1,2,3} >

Dicono che l'applicazione di propagazione regola, non fornisce alcuna semplificazione.

Io non sono sicuro perché questo è il caso.Non dobbiamo avere?

< C; x1 ∈ {2,3}, x2 ∈ {1,2} >

Altri passaggi nell'esempio, un senso che, per me, ad esempio

< C; x1 ∈ {2}, x2 ∈ {1,2,3} >

produce

< C; x1 ∈ {2}, x2 ∈ {1} >