strangerland®gmail.com

Logic Puzzles Online

Backstory and Goal

Belfry Books has several projects that need to be translated into English from various foreign languages. Using only the clues that follow, match each project to its translator, publication year and determine the length of each (in pages).

Partitioned 3×4 = 12 element set, A = {Delia = A₀, Martha = A₁, Rodney = A₂, Suzanne = A₃ | Year2004 = A₄, Year2005 = A₅, Year2010 = A₆, Year2011 = A₇ | Pages150 = A₈, Pages175 = A₉, Pages200 = A₁₀, Pages225 = A₁₁}

Clues

1. The 175 page project is either Martha's assignment or the book published in 2010.

2. The book published in 2004 is 25 pages longer than the book published in 2010.

3. Of Dalia's assignment and Rodney's assignment, one is 225 pages long and the other was published in 2004.

4. Of the 225 page project and the 175 page assignment, one was published in 2010 and the other is assigned to Dalia.

5. The book published in 2004 is shorter than the book published in 2005.

Clues parsed into statements of a Free Boolean Algebra (Ring) generated from the Cartesian product A×A

Let for example generator (Delia ~ Year2005) = (A₀ ~ A₅) = R[0,5] = X[0*12+5] etc. Let * denote AND, and + denote XOR

1. Exactly one of the statements R[9,1], R[9,6] is true so R[9,1] + R[9,6] - 1 = 0

2. Exactly one of the statements R[4,11]*R[6,10], R[4,10]*R[6,9], R[4,9]*R[6,8] is true.

3. Exactly one of the statements R[11,6]*R[9,0], R[11,0]*R[9,6] is true so R[11,6]*R[9,0] + R[11,0]*R[9,6] - 1 = 0

4. Exactly one of the statements R[0,11]*R[2,4], R[0,4]*R[2,11] is true so R[0,11]*R[2,4] + R[0,4]*R[2,11] - 1 = 0

5. Exactly one of the statements R[5,11]*R[4,10], R[5,11]*R[4,9], R[5,11]*R[4,8], R[5,10]*R[4,9], R[5,10]*R[4,8], R[5,9]*R[4,8] is true.

Clues 2 and 5 are more complicated Boolean ring expressions than a simple XOR of the arguments for example if exactly one of 3 alternatives X0, X1, X2 is true then X0*X1*X2 + X2 + X1 + X0 = 1, and if one of five alternatives then

X0*X1*X2*X3*X4 + X2*X3*X4 + X1*X3*X4 + X1*X2*X4 + X1*X2*X3 + X0*X3*X4 + X0*X2*X4 + X0*X2*X3 + X0*X1*X4 + X0*X1*X3 + X0*X1*X2 + X4 + X3 + X2 + X1 + X0 = 1.

Unstated Clues:

The relation ~ is an equivalence relation therefore is reflexive, symmetric and transitive:

∀ A_i, A_j, A_k ∈ A

1. R[i, i] reflexive

2. R[i, j] → R[j, i] symmetric

3. R[i, j] ∧ R[j, k] → R[i, k] transitive

Which can be finitely enumerated, since A is a finite set.

web counter