Rudy's OBTF

Home / Computer science / Zebra puzzle / Computation

Constraints: Fact 13

The Japanese smokes Parliaments.

Using

\begin{align*} a & = x_{5, i, 2} \\ b & = x_{3, i, 5} \\ \end{align*}

derive the conjunctive normal form as in Fact 1

\begin{equation*} \forall i \quad (\lnot a \lor b) \end{equation*}

and compute

for i in range(m):
    a = x[Attribute.NATION, i, Nation.JAPANESE]
    b = x[Attribute.CIGARETTES, i, Cigarettes.PARLIAMENT]
    model.add_bool_or(a.Not(), b)