System design: logic representation Flashcards