Homework #3 Extra Credit

Due: May 19, 2017
Points: 30

1. (30 points) Revisit the example for x := y + z in Section 17.1.1. Assume that x does not exist in state s. Confirm that information flows from y and z to x by computing H(y_s | x_t), H(y_s), H(z_s | x_t), and H(z_s) and showing that H(y_s | x_t) < H(y_s) and H(z_s | x_t) < H(z_s).