Available under Creative Commons-ShareAlike 4.0 International License. Download for free at http://firstname.lastname@example.org
We summarize the details of how we choose to model WaterWorld boards in propositional logic: exactly what propositions we make up, and the formal domain axioms which capture the game's rules.
The board is fxed at 6×4, named A,...,Z (with I and O omitted).
Figure 6.1 A Sample WaterWorld board
- 1274 reads