Changes

===Computation===

===Computation===

The propositional program for <math>\operatorname{Stunt}(2)</math> uses the following set

The propositional program for Stunt(2) uses the following set

of <math>9 + 12 + 36 = 57\!</math> basic propositions or boolean variables:

of (9 + 12 + 36) = 57 basic propositions or boolean variables:

   p0_r0, p0_r1, p0_r2,

   p0_r0, p0_r1, p0_r2,

   p2_r2_s#, p2_r2_s*, p2_r2_s0, p2_r2_s1.

   p2_r2_s#, p2_r2_s*, p2_r2_s0, p2_r2_s1.

This means that the propositional program itself is nothing more or

This means that the propositional program itself is nothing more or less than a single proposition or a boolean function <math>p : \mathbb{B}^{57} \to \mathbb{B}.</math>

less than a single proposition or a boolean function P : B^57 -> B.

An assignment of boolean values to the above set of boolean variables

An assignment of boolean values to the above set of boolean variables

is called an "interpretation" of P, and any interpretation of P that

is called an "interpretation" of P, and any interpretation of P that