Truth tables and deductions