GR2: 2-SAT Flashcards