Introduction to Logic Design. (2018)