https://stoplearn.com/logic-simple-and-compound-statements-logical-operations-and-truth-tables-conditional-statements-and-proofs/