Mod articles
-
You solve the puzzle by translating text on them into logical formulas (that has to be done by hand).
The formulas can use named variables and operators & (and), | (or), = (is equal to), not(), and basic arithmetics like +,-,etc.
Operator precedence is the usual: functions(such as not()), ^(power), (*,/), (+,-) (<,>,=) (&,|) (;). You can use brackets to force a specific order.
"If" condition can be represented as: "if (statement1) then (statement2)" -> "not(statement1) | statement2"
Expression result is evaluated to true if it's non-0
You can use 1 and 0 or "true" and "false"
The variables are:
blue1(2,3), white1(2,3), black1(2,3)
So "top statement on the black box is true" translates to "black1"
"black box has...