Séance de cours
Logique propositionnelle : Formes normales
Description
Cette séance de cours couvre la forme normale disjonctive (DNF) et la forme normale conjonctive (CNF) en logique propositionnelle, expliquant comment les construire à partir de propositions composées et de leur complexité par rapport à la proposition originale.
Source officielle
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.