Source: https://feng.stafpu.bu.edu.eg/Electrical Engineering/2434/crs-14563/Files/3.Logic.pdf