2 8
3
1 2 3
1
6 4
8 - 4
7
- 5
7 6 5
The homework should take the form of a self-contained report. Do not forget to include screen dumps, etc.
N.B. Make sure that your game instance is not trivial (or more difficult than needed). The point of the homework is just to demonstrate that this can be done in propositional logic.
Here's then my offer: Anyone can submit, by 29 Nov, a new version of HW#2. These will then be re-evaluated. If you're happy with your current homework and believe that you've done it all by yourself, you don't have to submit anything. However, if you've copied stuff from others and/or submitted an incomplete homework, this is your chance to repair the damage.
Don't forget: Both the giver and the receiver are at fault in a cheating situation.
Needless to say, this is the last time I'll be so flexible and understanding with cheaters (cf. ADVICE above).