Discrete Mathematics using a Comptuter (O’Donnell, Hall, Page) Chapter 13
Discrete Mathematics with Applications - Metric Edition (Epp) Chapter 2.4, 2.5
https://runestone.academy/ns/books/published/ads/s-logic-design.html
Code-DMUC/Stdm13CircuitDesign.hs