Oblig II Question 2b_澳门葡京手机版app下载

ketils
2018-10-09T08:44:39.018Z
type:structured-message
www.uio.no

You may draw the trees on paper and scan to pdf if you think that is easier. But remember, the result should be readable.

With respect to the negative traces the following simplification is ok:

Make either the tree corresponding to sending "note" first (!note as root) or the tree corresponding to sending "question" first (!question as root).