Séance de cours
Cette séance de cours couvre la transformation des formules libres quantifiantes en formules équisatisfaisantes, la réduction pour résoudre l'arithmétique modulo et le processus de normalisation. Il comprend également des exemples et des solutions étape par étape pour différentes équations.