[FR] Quelle est la formule étiquetant le nœud P ?

[EN] What is the formula labelling the node P?

[FR] Quelle est la règle utilisée pour annuler V ? Entrez son exposant (à ne pas confondre avec l'index dans le nom de la règle).

[EN] What is the rule used to cancel V? Type its exponent (not to be mistaken with the index featured in the rule's name).

[FR] Quelle est la formule étiquetant le nœud C ?

[EN] What is the formula labelling the node C?

[FR] Quelle est la règle utilisée pour annuler U ? Entrez son exposant (à ne pas confondre avec l'index dans le nom de la règle).

[EN] What is the rule used to cancel U? Type its exponent (not to be mistaken with the index featured in the rule's name).

[FR] Quelle est la règle utilisée en Z ? Entrez son numéro.

[EN] What is the rule used in location Z? Type its numerical identifier.

[FR] Quel est l'axiome utilisé en Y ? Entrez son numéro.

[EN] What is the axiom used in location Y? Type its index.

[FR] Combien de valuations des variables (i.e. lignes de la table) produisent une évaluation True de la formule ?

Cette question vaut 2 points.

[EN] How many valuations of the variables (i.e. lines of the table) result in a True evaluation of the formula?

This question is worth 2 points.

[FR] Quel est l'axiome utilisé en X ? Entrez son numéro.

[EN] What is the axiom used in location X? Type its index.

[FR] Quelle est la formule étiquetant le nœud A ?

[EN] What is the formula labelling the node A?

[FR] La formule est :

[EN] The formula is: