Source: https://courses.engr.illinois.edu/cs173/fa2020/Lectures/Notes/LogicNotes.pdf