Une nouvelle représentation des fonctions booléennes

Cet expose portera sur les fonctions booleennes definies sur l’ensemble des mots binaires d’une longueur donnee (quelconque), avec un double point de vue de codage d’erreur et de cryptographie. Les formes conjonctive et disjonctive n’etant pas adaptees a ce cadre, les representations des fonctions booleennes utilisees actuellement sont la table de verite et la forme algebrique normale. Chacune d’entre elles presente des avantages et des inconvenients, tant du point de vue algorithmique que du point de vue theorique. J’introduirai une nouvelle representation, la forme numerique normale, dont la complexite est comparable a celle des deux autres, et qui presente un ensemble d’avantages incluant strictement ceux des deux autres representations.