This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Next revision Both sides next revision | ||
teaching:is:diag-rules-solutions [2020/06/09 14:57] Franconi Enrico |
teaching:is:diag-rules-solutions [2020/06/09 14:59] Franconi Enrico [5.7] |
||
---|---|---|---|
Line 43: | Line 43: | ||
(b) The minimal explanations of //get_gun ∧ goto_bank// are { // | (b) The minimal explanations of //get_gun ∧ goto_bank// are { // | ||
- | (c) Observing // | + | < |
- | However, you would still need to be able to explain it. This could be done by making // | + | However, you would still need to be able to explain it. This could be done by making // |
(d) { //banking// } and { //robbing// } . | (d) { //banking// } and { //robbing// } . | ||
(e) { // | (e) { // |