https://easyexamnotes.com/propositional-logic-and-finite-state-machines-mcq/