Source: https://courses.ics.hawaii.edu/ReviewICS141/morea/propositional-logic/PropositionalEquivalences-QA.pdf