Introduction à la résolution des EDOa - Mathématiques

Dans cet exercice, on a trois variables booléennes, xA, xB et xC. Si xA = 1, le castor A prend le bateau, sinon xA = 0. On optimise la fonction linéaire 4xA + ...