https://numbas.mathcentre.ac.uk/exam/7111/propositions-and-truth-tables.zip?