Bonjour,

tout dépend de ce qu'on veut que vous montriez comme savoir. Si on veut vérifier si vous connaissez les noms de chaque axiome et théorème que vous utilisez pour simplifier des fonctions logiques, on vous demandera d'indiquer le nom de la propriété utilisée pour passer d'une étape à une autre. Généralement, on ne vous demandera pas ça.