problem-set1-binary-connectives.pdf