Source: http://www2.cs.uh.edu/~arjun/courses/ds/DiscMaths4CompSc.pdf