quelqu’un connait un soft qui fait des simplifications d’equations d’algebre de bool?
idem
Je ne suis pas un spécialiste de math! mais il existe deux logiciel particulièrment bien dévellopé mais dur à utiliser qui se nomme mathlab et mapple! mais ils sont payant il me semble