exam1-binary-connectives.pdf