Al-Jassani, B. A., Urquhart, N. B., & Almaini, A. E. A. (2010). Manipulation and optimization techniques for Boolean logic. IET computers & digital techniques / IET, 4, 227-239. https://doi.org/10.1049/iet-cdt.2009.0007