Oblig II Question 2b

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).
Published Oct. 9, 2018 10:44 AM - Last modified Oct. 9, 2018 10:44 AM