en algèbre de boole, le OU peut s'écrire + donc 1 OU 1 vaut 1 et par conséquent 1+1=1 est valide