https://numbas.mathcentre.ac.uk/exam/10941/blathnaid-s-copy-of-propositions-and-truth-tables.zip?