Bonsoir à tous,


J'ai découvert récemment la méthode dite des tableaux, qui nous permet de construire un arbre afin de vérifier la valeur de vérité d'une formule.

Je me pose une petite question et je ne trouve pas de réponse via les moteurs de recherche habituels.

Si j'ai :  a v b alors OK une branche avec a, une autre avec b.
Mais si j'ai plus de deux unions, a v b v c.
Est-il correct de faire trois ramifications ?

Merci d'avance.

Dcamd.