A framework for characterizing students’ thinking about logical statements and truth tables