Evaluating compound statements with negations and conditionals