Solving Logic Puzzles with the Laws of Form Notationnbviewer.ipython.org1 pointnobrainsharmed13 years ago