• View
• Edit
• History
• Print

State2

In the third state, player 2 puts a black stone in the box and switches his hand with player 1. By doing this, player 2 will understand what stone player 1 putted in the Box in the previous turn. Player 1 will also understand the move of Player 2. However, player 3 has no idea about what stones were put in the Box by player 1 and 2. Therefore, player 3 consider all 4 combinations possible.

M(c1,b1,f3) |= K₁ (c1 AND b1 AND f3)

M(c1,b1,f3) |= K₂ (c1 AND b1 AND f3)

M(c1,b1,f3) |= K₁ K₂ (c1 AND b1 AND f3)

M(c1,b1,f3) |= K₂ K₁ (c1 AND b1 AND f3)

M(c1,b1,f3) |= K₃ ~(c1 AND b1 AND f3)