Identifying equivalent statements and negations of a conditional statement