@Beagle : bonjour , je comprends tes lignes 3 , 4 , et 5 comme une partie de bonneteau avec A , B , et C .
@Ben314
Ta "démographique" est un très bon guide pour utiliser un deuxième coup de Boole mais plus concis que mon premier .
Tu dis:
; je note p(A,B,C) cette deuxieme propriété .
Il est alors évident que p(A,B,C) est équivalent à
Quand à la démo de l'équivalence , elle est facile :
AB=AC entraine
AC=AB entraine
réciproque :
Donc AB=AC
Signé maître enfoiros , avocat de Ben314