truth tables and initial analysis