Source: https://scholar.harvard.edu/files/yxiang/files/handout_2_propositional-logic-2014.pdf