Intro to CS, p. 372, OR Truth Table
Intro to CS, p. 373, Distributive Laws
Intro to CS, p. 398, Exercise 6.2.2