1 résultat trouvé
Revenir à la recherche avancée
bonjour , jai un devoir à rendre , pourriez vous m'aider pour l'exercice ci-dessous ? merci d'avance : Soit sigma un ensemble de formules : 1- Supposons que sigma soit satisfaisable. Montrer que pour toute formule A,sigmaU{A} ou sigmaU{non A} est satisfaisable . 2- Soit v une distribution de vérité...
- par Jtaicapte
- 12 Avr 2014, 18:49
-
- Forum: ✯✎ Supérieur
- Sujet: dm
- Réponses: 17
- Vues: 703