Si mes souvenirs sont encore bons (pas certain), c'était un problème de logique séquentielle, pas combinatoire.On fait tout le temps ça, en automatisme pour éviter des transitoires casse pied.
Donc le terme supplémentaire est redondant et devrait disparaître en simplifiant l'équation.On peut ajouter ou pas le terme b.c parce que quand b.c est vrai, alors si a le terme a.b est vrai, et si /a, le terme /a.c est vrai (donc L est vraie dans les deux cas) ; et quand b.c est fausse, les deux termes sont faux (donc L est fausse)
-----