Reglas BOOL

lunes, 5 de junio de 2023 6:50 p. m.

Reglas de transformación:
• Para la NEGACIÓN:
Reglas de reducción de Dominio:

Para la regla de negación:

• Para la CONJUNCIÓN ( ) o DISYUNCIÓN (V)

Para la regla de conjunción:

Para la regla de disyunción:

La regla NOT 2 establece que si x=0 entonces y=1. Como el valor de y en dicho CSP
es 0, al intersectar 1 con 0 da vacío. Por ende, el nuevo dominio de y es vacío.

Sí es hiper-arco consistente, debido a que para todos

los valores de x y y, hay soluciones con respecto a z.

Reglas BOOL página 1

 El CSP inicial NO es hiper-arco consistente, puesto que
para la segunda restricción, porque para un z=0, los
valores de x=1, y=1 (o x=1, y=0; x=0, y=1) y incumplen
con la restricción.
El CSP final SÍ es hiper-arco consistente, dado que
todas las variables contienen los mismos valores.

Reglas BOOL página 2