Bonjour, voila je dois prouver l'associativité du connecteur ou, je ne comprend pas trop cette notion d'associativité, alors pour la prouver...
Merci

L'opérateur OU est associatif si : <math>\(\forall A,B,C \in \{0,1\}, (A+B)+C=A+(B+C)=(A+C)+B=A+B+C\)</math>

mais j'ai pas besoin de faire de table de vérité ?

Tu fais la table de <math>\(a \vee (b \vee c)\)</math> et de <math>\((a \vee b) \vee c\)</math> et tu en déduis que l'opérateur OU est associatif

oki merci bien