This work consists of the following files: logicpuzzle.dtx logicpuzzle.pdf qrcode.png README