Source: http://www.cs.utsa.edu/~bylander/cs3233/prop-logic.pdf