Not sure if i fully ... it makes sense to translate not both into bi-conditional. My question ... in some questiions 7Sage translates not both into bi conditional, and in ... questions he translate it as Not equal, as in they ... when to use A is not equal to B.
...