Los valores que puede tomar cada variable, sería los posibles cuadrados a los que puede moverse según el estado en que se encuentre.
Enviado por Ensa05 • 18 de Septiembre de 2018 • 764 Palabras (4 Páginas) • 328 Visitas
...
Es difícil considerar cual formulación es la más adecuada, aunque desde el punto de vista, la mejor idea es que sea por medio de las letras, ya que es la forma más intuitiva de realizar un crucigrama.
6.5 Solve the cryptarithmetic problem in Figure 6.2 by hand, using the strategy of backtracking with forward checking and the MRV and least-constraining-value heuristics.
[pic 2]
El problema anterior nos muestra las siguientes restricciones:
- [pic 3]
- [pic 4]
- [pic 5]
- [pic 6]
El dominio del problema sería
[pic 7]
[pic 8]
[pic 9]
[pic 10]
7.6 Prove, or find a counterexample to, each of the following assertions:
- If α |= γ or β |= γ (or both) then (α ∧ β) |= γ
En base a que el enunciado indica que pueden ser ambos, se puede decir que el planteamiento anterior es cierto, ya que por ley de asociatividad tanto alfa como beta implicarían a Gamma.
- If α |= (β ∧ γ) then α |= β and α |= γ.
La ley de distribuida nos indica que, si tenemos una preposición de implicación, esta puede ser divida en dos preposiciones. Ya que, si Alpha implica (Beta y Gamma), Alpha deberá implicar Beta y Alpha al mismo tiempo deberá implicar Gamma.
- If α |= (β ∨ γ) then α |= β or α |= γ (or both).
En base a lo planteado en la pregunta a. Vemos que la preposición presente se puede plantear en los mismos términos que la anterior, ya que al poseer un “both”, es decir, un ambos, se da una distribución de Alpha con Beta y Gamma.
...