https://easyexamnotes.com/proposition-basic-logical-conjuction-disjunction-negation-prof/