Truth tables and evaluating logical expressions