1. Homework 5 (June 14) Material covered: Slides 9.1-10.3
1. You should be able to reproduce the formal definition of the operation .
2. Write the evolution sequence (in the style of Slide 9.7) generated by the run 0.3, 1.2, 1.4, 2.0, 0.9 for the game
⊓x⊔y(y=x2). Which player is the winner?
3. Let p and q be any propositions. Write a run for the game (p⊓q)  pq which is won by Machine no matter what
particular propositions p and q are. Also write the evolution sequence (in the style of Slide 9.19) generated by your run.