3 ms·

This is, in fact, a textbook for a discrete mathematics course for year 1 computer science students :)