Méthode simplification combinaison logique

[Extraflove]

Bonjour a tous,
J'ai deux équation de ce type a simplifier f et g.
U1=(M0+...M120)+S01+..S10 (ou il y a des valeur Nul) extrais d'une table de verité.
U2=(M0+...M120)+S01+..S10 (ou il y a des valeur Nul) extrais d'une table de verité.
..
Un=(M0+...M120)+S01+..S10 (ou il y a des valeur Nul) extrais d'une table de verité.
avec U1 U2...Un tous différente je ne peux pas avoir un Uk et Up identique et ils sont sur la même table de vérité .

Je cherche a réduire par exemple.
f1=U10/U19/U22/U28/U37/U46/U50/U55/U64
puis
g1=(option+!U10)/(option+!U19)/(option+!U22)/(option+!U28)/(option+!U37)/(option+!U46)/(option+!U50)/(option+!U55)/(option+!U64) Option égal par exemple M0+M2.
Avec / c'est ou logique, le + c'est et, et ! c'est le sauf.
Comment je peux faire pour trouver f et g depuis mon table de verité de U1...Un?
Je cherche un algorithme simple qui fait ca.
J'ai deja une idée pour trouver mon f avec un algorithme simple
Depuis la table de vérité mais je bloque sur g.