« Logique (mathématiques)/Exercices/Forme Normale Disjonctive » : différence entre les versions