{"id":28416,"date":"2021-04-21T13:00:15","date_gmt":"2021-04-21T13:00:15","guid":{"rendered":"http:\/\/toposuranos.com\/material\/?p=28416"},"modified":"2024-09-15T00:44:01","modified_gmt":"2024-09-15T00:44:01","slug":"algorithme-de-forme-normale-et-applications","status":"publish","type":"post","link":"http:\/\/toposuranos.com\/material\/fr\/algorithme-de-forme-normale-et-applications\/","title":{"rendered":"Algorithme de Forme Normale et Applications"},"content":{"rendered":"<p><center><\/p>\n<h1>Algorithme de Forme Normale et Applications<\/h1>\n<p><\/p>\n<p style=\"text-align:center;\"><strong>R\u00c9SUM\u00c9<\/strong><br \/><em>Dans cette le\u00e7on, nous examinerons l&#8217;algorithme FND\/FNC, qui nous permettra de trouver, \u00e0 partir de toute expression de la logique propositionnelle, son expression \u00e9quivalente en forme normale conjonctive ou disjonctive. Nous commencerons par expliquer les trois \u00e9tapes qui composent cet algorithme, qui consistent \u00e0 \u00e9liminer les implications et les doubles implications, \u00e0 \u00e9liminer les doubles n\u00e9gations et \u00e0 appliquer la distribution, selon que nous souhaitons obtenir une FNC ou une FND. De plus, nous pr\u00e9senterons des exemples sur la fa\u00e7on d&#8217;appliquer cet algorithme \u00e0 des expressions concr\u00e8tes. Ensuite, nous aborderons comment obtenir la forme normale \u00e0 partir des tables de v\u00e9rit\u00e9 en utilisant des interrupteurs simples et compos\u00e9s, ainsi que des bo\u00eetes noires. Pour ce faire, des concepts tels que les c\u00e2bles, les n\u0153uds, les interrupteurs simples, les interrupteurs compos\u00e9s et les bo\u00eetes noires seront utilis\u00e9s. Enfin, nous pr\u00e9senterons des exercices d&#8217;exemple o\u00f9 il faudra r\u00e9sumer des informations dans une table de v\u00e9rit\u00e9 et extraire la FND et la FNC qui reproduisent le fonctionnement d&#8217;un dispositif, ainsi que concevoir un interrupteur compos\u00e9 ayant le m\u00eame fonctionnement que le dispositif.<\/em><\/p>\n<p><\/center><br \/>\n<\/p>\n<p style=\"text-align:center;\"><strong>OBJECTIFS D&#8217;APPRENTISSAGE :<\/strong><br \/>\n\u00c0 la fin de cette le\u00e7on, l&#8217;\u00e9tudiant sera capable de :\n<\/p>\n<ol>\n<li><strong>Appliquer<\/strong> l&#8217;algorithme FND\/FNC \u00e0 des expressions concr\u00e8tes pour trouver leurs formes normales conjonctive et disjonctive.<\/li>\n<li><strong>Comprendre<\/strong> l&#8217;utilisation des interrupteurs simples et compos\u00e9s dans la logique propositionnelle.<\/li>\n<li><strong>Identifier<\/strong> la structure des interrupteurs compos\u00e9s et des bo\u00eetes noires.<\/li>\n<li><strong>Utiliser<\/strong> le tableau de v\u00e9rit\u00e9 pour r\u00e9sumer les informations sur un dispositif.<\/li>\n<li><strong>Extraire<\/strong> la FND et la FNC d&#8217;un dispositif \u00e0 partir de son tableau de v\u00e9rit\u00e9.<\/li>\n<li><strong>Concevoir<\/strong> un interrupteur compos\u00e9 ayant le m\u00eame fonctionnement qu&#8217;un dispositif donn\u00e9.<\/li>\n<\/ol>\n<p style=\"text-align:center;\"><strong>TABLE DES MATI\u00c8RES<\/strong><br \/>\n<a href=\"#1\">L&#8217;ALGORITHME FND\/FNC<\/a><br \/>\n<a href=\"#2\">ALGORITHME POUR OBTENIR LA FORME NORMALE \u00c0 PARTIR DES TABLES DE V\u00c9RIT\u00c9 : BO\u00ceTES NOIRES ET INTERRUPTEURS COMPOS\u00c9S<\/a><br \/>\n<a href=\"#3\">EXERCICES D&#8217;EXEMPLE<\/a><\/p>\n<p><center><iframe class=\"lazyload\" width=\"560\" height=\"315\" data-src=\"https:\/\/www.youtube.com\/embed\/aEQ2WFB4dls\" title=\"YouTube video player\" frameborder=\"0\" allow=\"accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture\" allowfullscreen=\"allowfullscreen\"><\/iframe><\/center><\/p>\n<p style=\"text-align: justify;\">Bien que nous ayons prouv\u00e9 que toutes les expressions de la logique propositionnelle sont \u00e9quivalentes \u00e0 une <strong>forme normale<\/strong>, nous n&#8217;avons rien dit sur la mani\u00e8re de trouver ces formes normales. Pour y parvenir, nous examinerons un algorithme dont le but est de g\u00e9n\u00e9rer des expressions en forme normale, et enfin, nous examinerons les applications qui \u00e9mergent de ces sujets.<\/p>\n<p><a name=\"1\"><\/a><\/p>\n<h2>L&#8217;Algorithme FND\/FNC<\/h2>\n<p style=\"text-align: justify;\"><a href=\"https:\/\/www.youtube.com\/watch?v=aEQ2WFB4dls&amp;t=107s\" target=\"_blank\" rel=\"noopener\"><strong>L&#8217;algorithme FND\/FNC est une s\u00e9rie d&#8217;\u00e9tapes <\/strong><\/a>qui vous permettra de trouver, \u00e0 partir de toute expression de la logique propositionnelle, son expression \u00e9quivalente en FND ou FNC (selon le cas). Il est effectu\u00e9 de la mani\u00e8re suivante :<\/p>\n<ul style=\"text-align: justify;\">\n<li><strong>\u00c9TAPE 1 :<\/strong> Remplacez toutes les sous-expressions de la forme <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">(F\\rightarrow G)<\/span><\/span> par <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">(\\neg F\\vee G),<\/span><\/span> de m\u00eame pour <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">(F\\leftrightarrow G).<\/span><\/span> R\u00e9p\u00e9tez cette \u00e9tape jusqu&#8217;\u00e0 ce que toutes les implications et doubles implications soient \u00e9limin\u00e9es de l&#8217;expression.<\/li>\n<li><strong>\u00c9TAPE 2 :<\/strong> \u00c9liminez les doubles n\u00e9gations et appliquez les lois de De Morgan l\u00e0 o\u00f9 c&#8217;est possible. Les remplacements suivants doivent \u00eatre appliqu\u00e9s\n<ul style=\"text-align: justify;\">\n<li><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\neg\\neg G \\longmapsto G<\/span><\/span><\/li>\n<li><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\neg(G\\wedge H) \\longmapsto (\\neg G \\vee \\neg H)<\/span><\/span><\/li>\n<li><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\neg(G\\vee H) \\longmapsto (\\neg G \\wedge \\neg H)<\/span><\/span>\n<p style=\"text-align: justify;\">Lorsqu&#8217;il n&#8217;y a plus de sous-expressions de la forme <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\neg\\neg G,<\/span><\/span> <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\neg(G \\wedge H)<\/span><\/span> ou <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\neg(G \\vee H),<\/span><\/span> continuez avec l&#8217;\u00e9tape 3.<\/p>\n<\/li>\n<\/ul>\n<\/li>\n<li><strong>\u00c9TAPE 3 :<\/strong> Cette \u00e9tape est divis\u00e9e en deux parties selon si vous souhaitez arriver \u00e0 une FND ou \u00e0 une FNC\n<ul>\n<li><strong>Si vous voulez arriver \u00e0 une FNC :<\/strong>\n<p style=\"text-align: justify;\">Utilisez la distribution <span class=\"katex-eq\" data-katex-display=\"false\">\\vee<\/span> l\u00e0 o\u00f9 c&#8217;est possible. C&#8217;est-\u00e0-dire, appliquez les remplacements suivants :<\/p>\n<p style=\"text-align: justify;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\left.\\begin{matrix}G\\vee(H\\wedge K) \\\\ \\\\ (H\\wedge K)\\vee G \\end{matrix} \\right\\} \\longmapsto (G\\vee H)\\wedge (G\\vee K)<\/span><\/span><\/p>\n<p style=\"text-align: justify;\">Lorsqu&#8217;il n&#8217;y a plus d&#8217;expressions de la forme <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">G\\vee(H\\wedge K)<\/span><\/span> ou <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">(H\\wedge K)\\vee G<\/span><\/span>, vous aurez atteint une FNC.<\/p>\n<\/li>\n<li><strong>Si vous voulez arriver \u00e0 une FND :<\/strong>\n<p style=\"text-align: justify;\">Utilisez la distribution <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\wedge<\/span><\/span> l\u00e0 o\u00f9 c&#8217;est possible. C&#8217;est-\u00e0-dire, appliquez les remplacements suivants :<\/p>\n<p style=\"text-align: justify;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\left.\\begin{matrix}G\\wedge(H\\vee K) \\\\ \\\\ (H\\vee K)\\wedge G \\end{matrix} \\right\\} \\longmapsto (G\\wedge H)\\vee (G\\vee K)<\/span><\/span><\/p>\n<p style=\"text-align: justify;\">Lorsqu&#8217;il n&#8217;y a plus d&#8217;expressions de la forme <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">G\\wedge(H\\vee K)<\/span><\/span> ou <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">(H\\vee K)\\wedge G<\/span><\/span>, vous aurez atteint une FND.<\/p>\n<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<h3>Exemples<\/h3>\n<p style=\"text-align: justify;\">Utilisez l&#8217;algorithme FND\/FNC pour les expressions suivantes dans leurs formes normales conjonctive et disjonctive.<\/p>\n<ol style=\"text-align: justify;\">\n<li><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">(A\\rightarrow (B\\rightarrow A))<\/span><\/span> <a href=\"https:\/\/www.youtube.com\/watch?v=aEQ2WFB4dls&amp;t=436s\" target=\"_blank\" rel=\"noopener\"><strong>[SOLUTION]<\/strong><\/a><\/li>\n<li><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">((A\\vee B)\\rightarrow(\\neg B \\wedge A))<\/span><\/span> <a href=\"https:\/\/www.youtube.com\/watch?v=aEQ2WFB4dls&amp;t=665s\" target=\"_blank\" rel=\"noopener\"><strong>[SOLUTION]<\/strong><\/a><\/li>\n<\/ol>\n<p><a name=\"2\"><\/a><\/p>\n<h2>Algorithme pour Obtenir la Forme Normale \u00e0 partir des Tables de V\u00e9rit\u00e9: Bo\u00eetes Noires et Interrupteurs Compos\u00e9s<\/h2>\n<p style=\"text-align: justify;\"><a href=\"https:\/\/www.youtube.com\/watch?v=aEQ2WFB4dls&amp;t=915s\" target=\"_blank\" rel=\"noopener\"><strong>L&#8217;algorithme FND\/FNC nous permet de trouver,<\/strong><\/a> pour toute expression de la logique propositionnelle, son expression \u00e9quivalente en forme normale. Mais il existe des situations o\u00f9 nous n&#8217;avons pas d&#8217;expression initiale sur laquelle travailler. C&#8217;est le cas lorsque nous avons le r\u00e9sultat d&#8217;une table de v\u00e9rit\u00e9 d&#8217;une expression <span class=\"katex-eq\" data-katex-display=\"false\">F<\/span> dont nous ne connaissons pas la structure propositionnelle. Expliquer cela en mots est un processus long ; cependant, la technique est beaucoup mieux comprise en montrant des exemples de la mani\u00e8re dont elle se d\u00e9veloppe, donc je laisserai quelques exemples que je d\u00e9velopperai en vid\u00e9o, mais d&#8217;abord, vous devez revoir les concepts suivants :<\/p>\n<ul style=\"text-align: justify;\">\n<li><strong>C\u00e2ble :<\/strong> Moyen par lequel un signal circule<\/li>\n<li><strong>N\u0153ud :<\/strong> Point o\u00f9 3 ou plus de c\u00e2bles se rejoignent.<\/li>\n<li><strong>Interrupteur simple :<\/strong> Dispositif qui admet les \u00e9tats de marche (1) et d&#8217;arr\u00eat (0), \u00e9tant toujours dans un, et un seul, de ces \u00e9tats. L&#8217;\u00e9tat de marche permet le passage d&#8217;un signal et l&#8217;\u00e9tat d&#8217;arr\u00eat l&#8217;emp\u00eache.<\/li>\n<li><strong>Interrupteur compos\u00e9 :<\/strong> C&#8217;est un dispositif compos\u00e9 d&#8217;interrupteurs simples et de c\u00e2bles.<\/li>\n<li><strong>Bo\u00eete Noire :<\/strong> C&#8217;est tout dispositif dont la structure interne ne peut \u00eatre observ\u00e9e.<\/li>\n<\/ul>\n<p style=\"text-align: justify;\"><a href=\"https:\/\/www.youtube.com\/watch?v=aEQ2WFB4dls&amp;t=1361s\" target=\"_blank\" rel=\"noopener\"><strong>Les interrupteurs simples sont mod\u00e9lis\u00e9s<\/strong><\/a> \u00e0 travers des variables propositionnelles, et les compos\u00e9s \u00e0 travers des expressions de la logique propositionnelle. Les cas les plus simples sont ceux obtenus \u00e0 partir des connecteurs de disjonction et de conjonction illustr\u00e9s ci-dessous<\/p>\n<h3>Sch\u00e9ma de la Conjonction<\/h3>\n<p><img decoding=\"async\" src=\"data:image\/gif;base64,R0lGODlhAQABAIAAAAAAAP\/\/\/yH5BAEAAAAALAAAAAABAAEAAAIBRAA7\" data-src=\"https:\/\/1.bp.blogspot.com\/-xK_trhHRmzw\/YHeQhyDxUBI\/AAAAAAAAE48\/VUFuzNDMtBslDTcM7X2UlrmSzJ_evD4-ACLcBGAsYHQ\/s0\/conectorY.PNG\" alt=\"Conector Y\" class=\"alignnone size-full lazyload\" width=\"901\" height=\"407\" \/><noscript><img decoding=\"async\" src=\"https:\/\/1.bp.blogspot.com\/-xK_trhHRmzw\/YHeQhyDxUBI\/AAAAAAAAE48\/VUFuzNDMtBslDTcM7X2UlrmSzJ_evD4-ACLcBGAsYHQ\/s0\/conectorY.PNG\" alt=\"Conector Y\" class=\"alignnone size-full lazyload\" width=\"901\" height=\"407\" \/><\/noscript><\/p>\n<p><img decoding=\"async\" src=\"data:image\/gif;base64,R0lGODlhAQABAIAAAAAAAP\/\/\/yH5BAEAAAAALAAAAAABAAEAAAIBRAA7\" data-src=\"https:\/\/1.bp.blogspot.com\/-alLO75lFiw8\/YHeQiiHLF-I\/AAAAAAAAE5I\/yN2bqhtGxtIAzpLLAus5PLTMbse5uA2BwCLcBGAsYHQ\/s0\/tablaConectorY.PNG\" alt=\"Tabla Conector Y\" class=\"alignnone size-full lazyload\" width=\"1041\" height=\"420\" \/><noscript><img decoding=\"async\" src=\"https:\/\/1.bp.blogspot.com\/-alLO75lFiw8\/YHeQiiHLF-I\/AAAAAAAAE5I\/yN2bqhtGxtIAzpLLAus5PLTMbse5uA2BwCLcBGAsYHQ\/s0\/tablaConectorY.PNG\" alt=\"Tabla Conector Y\" class=\"alignnone size-full lazyload\" width=\"1041\" height=\"420\" \/><\/noscript><\/p>\n<h3>Sch\u00e9ma de la Disjonction<\/h3>\n<p><img decoding=\"async\" src=\"data:image\/gif;base64,R0lGODlhAQABAIAAAAAAAP\/\/\/yH5BAEAAAAALAAAAAABAAEAAAIBRAA7\" data-src=\"https:\/\/1.bp.blogspot.com\/-xLVAp74wmRE\/YHeQh1p67rI\/AAAAAAAAE5A\/QRB4g9BENGgj4Jqw6Lee200YT02fUaaIQCLcBGAsYHQ\/s0\/conectorO.PNG\" alt=\"Conector O\" class=\"alignnone size-full lazyload\" width=\"1077\" height=\"661\" \/><noscript><img decoding=\"async\" src=\"https:\/\/1.bp.blogspot.com\/-xLVAp74wmRE\/YHeQh1p67rI\/AAAAAAAAE5A\/QRB4g9BENGgj4Jqw6Lee200YT02fUaaIQCLcBGAsYHQ\/s0\/conectorO.PNG\" alt=\"Conector O\" class=\"alignnone size-full lazyload\" width=\"1077\" height=\"661\" \/><\/noscript><\/p>\n<p><img decoding=\"async\" src=\"data:image\/gif;base64,R0lGODlhAQABAIAAAAAAAP\/\/\/yH5BAEAAAAALAAAAAABAAEAAAIBRAA7\" data-src=\"https:\/\/1.bp.blogspot.com\/-ZhxmnR7oxZU\/YHeQiDdLT_I\/AAAAAAAAE5E\/Gbh-I7c6yWwif685Z4GRLO_6iHMT3_yrQCLcBGAsYHQ\/s0\/tablaConectorO.PNG\" alt=\"Tabla del Conector O\" class=\"alignnone size-full lazyload\" width=\"1135\" height=\"598\" \/><noscript><img decoding=\"async\" src=\"https:\/\/1.bp.blogspot.com\/-ZhxmnR7oxZU\/YHeQiDdLT_I\/AAAAAAAAE5E\/Gbh-I7c6yWwif685Z4GRLO_6iHMT3_yrQCLcBGAsYHQ\/s0\/tablaConectorO.PNG\" alt=\"Tabla del Conector O\" class=\"alignnone size-full lazyload\" width=\"1135\" height=\"598\" \/><\/noscript><\/p>\n<p><a name=\"3\"><\/a><\/p>\n<h2>Exercices d&#8217;Exemple<\/h2>\n<ol style=\"text-align: justify;\">\n<li>Un dispositif est form\u00e9 par une bo\u00eete noire et 4 interrupteurs ordonn\u00e9s. L&#8217;activation du dispositif se produit dans les conditions suivantes\n<ul>\n<li><strong>Condition 1 :<\/strong> Il est activ\u00e9 s&#8217;il y a deux interrupteurs cons\u00e9cutifs allum\u00e9s. Cette condition cesse de fonctionner s&#8217;il y a trois interrupteurs cons\u00e9cutifs allum\u00e9s.<\/li>\n<li><strong>Condition 2 :<\/strong> Il est activ\u00e9 si tous les interrupteurs sont \u00e9teints.<\/li>\n<li><strong>Exception :<\/strong> Si les conditions pr\u00e9c\u00e9dentes ne sont pas remplies, l&#8217;appareil s&#8217;\u00e9teint.<\/li>\n<\/ul>\n<p style=\"text-align: justify;\">a) R\u00e9sumez cette information dans un tableau de v\u00e9rit\u00e9 <a href=\"https:\/\/www.youtube.com\/watch?v=aEQ2WFB4dls&amp;t=2158s\" target=\"_blank\" rel=\"noopener\"><strong>[SOLUTION]<\/strong><\/a><\/p>\n<p style=\"text-align: justify;\">b) \u00c0 partir du tableau de v\u00e9rit\u00e9, extrayez la FND et la FNC qui reproduisent le fonctionnement de la machine. <a href=\"https:\/\/www.youtube.com\/watch?v=aEQ2WFB4dls&amp;t=2283s\" target=\"_blank\" rel=\"noopener\"><strong>[SOLUTION]<\/strong><\/a><\/p>\n<p style=\"text-align: justify;\">c) Utilisez la FNC ou la FND obtenue \u00e0 l&#8217;\u00e9tape pr\u00e9c\u00e9dente (la plus simple) pour concevoir un interrupteur compos\u00e9 ayant le m\u00eame fonctionnement que le dispositif. <a href=\"https:\/\/www.youtube.com\/watch?v=aEQ2WFB4dls&amp;t=2402s\" target=\"_blank\" rel=\"noopener\"><strong>[SOLUTION]<\/strong><\/a><\/p>\n<\/li>\n<li>La m\u00eame chose que dans l&#8217;exercice pr\u00e9c\u00e9dent, sauf que maintenant le dispositif a 5 interrupteurs. <strong>[D\u00c9FI POUR LE LECTEUR]<\/strong><\/li>\n<\/ol>\n","protected":false},"excerpt":{"rendered":"<p>Algorithme de Forme Normale et Applications R\u00c9SUM\u00c9Dans cette le\u00e7on, nous examinerons l&#8217;algorithme FND\/FNC, qui nous permettra de trouver, \u00e0 partir de toute expression de la logique propositionnelle, son expression \u00e9quivalente en forme normale conjonctive ou disjonctive. Nous commencerons par expliquer les trois \u00e9tapes qui composent cet algorithme, qui consistent \u00e0 \u00e9liminer les implications et les [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":28401,"comment_status":"open","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"iawp_total_views":59,"footnotes":""},"categories":[617,631,569],"tags":[],"class_list":["post-28416","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-logique-mathematique","category-logique-propositionnelle","category-mathematiques"],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v27.4 - https:\/\/yoast.com\/product\/yoast-seo-wordpress\/ -->\n<title>Algorithme de Forme Normale et Applications - toposuranos.com\/material<\/title>\n<meta name=\"description\" content=\"Une Forme Normale est une mani\u00e8re standardis\u00e9e de repr\u00e9senter les expressions logiques en logique propositionnelle. Les deux plus courantes sont la Forme Normale Disjonctive (FND) et la Forme Normale Conjonctive (FNC).\" \/>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"http:\/\/toposuranos.com\/material\/fr\/algorithme-de-forme-normale-et-applications\/\" \/>\n<meta property=\"og:locale\" content=\"es_ES\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Algorithme de Forme Normale et Applications\" \/>\n<meta property=\"og:description\" content=\"Une Forme Normale est une mani\u00e8re standardis\u00e9e de repr\u00e9senter les expressions logiques en logique propositionnelle. Les deux plus courantes sont la Forme Normale Disjonctive (FND) et la Forme Normale Conjonctive (FNC).\" \/>\n<meta property=\"og:url\" content=\"http:\/\/toposuranos.com\/material\/fr\/algorithme-de-forme-normale-et-applications\/\" \/>\n<meta property=\"og:site_name\" content=\"toposuranos.com\/material\" \/>\n<meta property=\"article:publisher\" content=\"https:\/\/www.facebook.com\/groups\/toposuranos\" \/>\n<meta property=\"article:published_time\" content=\"2021-04-21T13:00:15+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2024-09-15T00:44:01+00:00\" \/>\n<meta property=\"og:image\" content=\"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2021\/04\/algoritmofndfnc-1024x585.jpg\" \/>\n<meta name=\"author\" content=\"giorgio.reveco\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:title\" content=\"Algorithme de Forme Normale et Applications\" \/>\n<meta name=\"twitter:description\" content=\"Une Forme Normale est une mani\u00e8re standardis\u00e9e de repr\u00e9senter les expressions logiques en logique propositionnelle. Les deux plus courantes sont la Forme Normale Disjonctive (FND) et la Forme Normale Conjonctive (FNC).\" \/>\n<meta name=\"twitter:image\" content=\"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2021\/04\/algoritmofndfnc.jpg\" \/>\n<meta name=\"twitter:creator\" content=\"@topuranos\" \/>\n<meta name=\"twitter:site\" content=\"@topuranos\" \/>\n<meta name=\"twitter:label1\" content=\"Escrito por\" \/>\n\t<meta name=\"twitter:data1\" content=\"giorgio.reveco\" \/>\n\t<meta name=\"twitter:label2\" content=\"Tiempo de lectura\" \/>\n\t<meta name=\"twitter:data2\" content=\"6 minutos\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\\\/\\\/schema.org\",\"@graph\":[{\"@type\":\"Article\",\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/fr\\\/algorithme-de-forme-normale-et-applications\\\/#article\",\"isPartOf\":{\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/fr\\\/algorithme-de-forme-normale-et-applications\\\/\"},\"author\":{\"name\":\"giorgio.reveco\",\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/#\\\/schema\\\/person\\\/e15164361c3f9a2a02cf6c234cf7fdc1\"},\"headline\":\"Algorithme de Forme Normale et Applications\",\"datePublished\":\"2021-04-21T13:00:15+00:00\",\"dateModified\":\"2024-09-15T00:44:01+00:00\",\"mainEntityOfPage\":{\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/fr\\\/algorithme-de-forme-normale-et-applications\\\/\"},\"wordCount\":1244,\"commentCount\":0,\"publisher\":{\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/#organization\"},\"image\":{\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/fr\\\/algorithme-de-forme-normale-et-applications\\\/#primaryimage\"},\"thumbnailUrl\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/wp-content\\\/uploads\\\/2021\\\/04\\\/algoritmofndfnc.jpg\",\"articleSection\":[\"Logique Math\u00e9matique\",\"Logique Propositionnelle\",\"Math\u00e9matiques\"],\"inLanguage\":\"es\",\"potentialAction\":[{\"@type\":\"CommentAction\",\"name\":\"Comment\",\"target\":[\"http:\\\/\\\/toposuranos.com\\\/material\\\/fr\\\/algorithme-de-forme-normale-et-applications\\\/#respond\"]}]},{\"@type\":\"WebPage\",\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/fr\\\/algorithme-de-forme-normale-et-applications\\\/\",\"url\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/fr\\\/algorithme-de-forme-normale-et-applications\\\/\",\"name\":\"Algorithme de Forme Normale et Applications - toposuranos.com\\\/material\",\"isPartOf\":{\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/#website\"},\"primaryImageOfPage\":{\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/fr\\\/algorithme-de-forme-normale-et-applications\\\/#primaryimage\"},\"image\":{\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/fr\\\/algorithme-de-forme-normale-et-applications\\\/#primaryimage\"},\"thumbnailUrl\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/wp-content\\\/uploads\\\/2021\\\/04\\\/algoritmofndfnc.jpg\",\"datePublished\":\"2021-04-21T13:00:15+00:00\",\"dateModified\":\"2024-09-15T00:44:01+00:00\",\"description\":\"Une Forme Normale est une mani\u00e8re standardis\u00e9e de repr\u00e9senter les expressions logiques en logique propositionnelle. Les deux plus courantes sont la Forme Normale Disjonctive (FND) et la Forme Normale Conjonctive (FNC).\",\"breadcrumb\":{\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/fr\\\/algorithme-de-forme-normale-et-applications\\\/#breadcrumb\"},\"inLanguage\":\"es\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"http:\\\/\\\/toposuranos.com\\\/material\\\/fr\\\/algorithme-de-forme-normale-et-applications\\\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"es\",\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/fr\\\/algorithme-de-forme-normale-et-applications\\\/#primaryimage\",\"url\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/wp-content\\\/uploads\\\/2021\\\/04\\\/algoritmofndfnc.jpg\",\"contentUrl\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/wp-content\\\/uploads\\\/2021\\\/04\\\/algoritmofndfnc.jpg\",\"width\":1792,\"height\":1024},{\"@type\":\"BreadcrumbList\",\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/fr\\\/algorithme-de-forme-normale-et-applications\\\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Portada\",\"item\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/es\\\/cursos-de-matematica-y-fisica\\\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Algorithme de Forme Normale et Applications\"}]},{\"@type\":\"WebSite\",\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/#website\",\"url\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/\",\"name\":\"toposuranos.com\\\/material\",\"description\":\"\",\"publisher\":{\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/#organization\"},\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"es\"},{\"@type\":\"Organization\",\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/#organization\",\"name\":\"toposuranos.com\\\/material\",\"url\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"es\",\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/#\\\/schema\\\/logo\\\/image\\\/\",\"url\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/wp-content\\\/uploads\\\/2023\\\/10\\\/logo.png\",\"contentUrl\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/wp-content\\\/uploads\\\/2023\\\/10\\\/logo.png\",\"width\":2400,\"height\":2059,\"caption\":\"toposuranos.com\\\/material\"},\"image\":{\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/#\\\/schema\\\/logo\\\/image\\\/\"},\"sameAs\":[\"https:\\\/\\\/www.facebook.com\\\/groups\\\/toposuranos\",\"https:\\\/\\\/x.com\\\/topuranos\",\"https:\\\/\\\/www.youtube.com\\\/channel\\\/UC16yDm12cPcrwsE0fAM7X1g\",\"https:\\\/\\\/www.linkedin.com\\\/company\\\/69429190\"]},{\"@type\":\"Person\",\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/#\\\/schema\\\/person\\\/e15164361c3f9a2a02cf6c234cf7fdc1\",\"name\":\"giorgio.reveco\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"es\",\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/wp-content\\\/uploads\\\/2023\\\/10\\\/1694478625378-96x96.jpeg\",\"url\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/wp-content\\\/uploads\\\/2023\\\/10\\\/1694478625378-96x96.jpeg\",\"contentUrl\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/wp-content\\\/uploads\\\/2023\\\/10\\\/1694478625378-96x96.jpeg\",\"caption\":\"giorgio.reveco\"},\"description\":\"Soy Licenciado en F\u00edsica, Magister en Ingenier\u00eda Industrial y Docente Universitario. Me dedico a desmitificar la f\u00edsica y las matem\u00e1ticas. Mi objetivo es hacer que estos campos sean f\u00e1cilmente comprensibles para todos, proporcionando las herramientas para explorar no solo el mundo que nos rodea, sino tambi\u00e9n las profundidades de nuestra propia existencia y el orden natural que nos conecta con el cosmos.\",\"sameAs\":[\"http:\\\/\\\/toposuranos.com\\\/material\"],\"url\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/author\\\/giorgio-reveco\\\/\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"Algorithme de Forme Normale et Applications - toposuranos.com\/material","description":"Une Forme Normale est une mani\u00e8re standardis\u00e9e de repr\u00e9senter les expressions logiques en logique propositionnelle. Les deux plus courantes sont la Forme Normale Disjonctive (FND) et la Forme Normale Conjonctive (FNC).","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"http:\/\/toposuranos.com\/material\/fr\/algorithme-de-forme-normale-et-applications\/","og_locale":"es_ES","og_type":"article","og_title":"Algorithme de Forme Normale et Applications","og_description":"Une Forme Normale est une mani\u00e8re standardis\u00e9e de repr\u00e9senter les expressions logiques en logique propositionnelle. Les deux plus courantes sont la Forme Normale Disjonctive (FND) et la Forme Normale Conjonctive (FNC).","og_url":"http:\/\/toposuranos.com\/material\/fr\/algorithme-de-forme-normale-et-applications\/","og_site_name":"toposuranos.com\/material","article_publisher":"https:\/\/www.facebook.com\/groups\/toposuranos","article_published_time":"2021-04-21T13:00:15+00:00","article_modified_time":"2024-09-15T00:44:01+00:00","og_image":[{"url":"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2021\/04\/algoritmofndfnc-1024x585.jpg","type":"","width":"","height":""}],"author":"giorgio.reveco","twitter_card":"summary_large_image","twitter_title":"Algorithme de Forme Normale et Applications","twitter_description":"Une Forme Normale est une mani\u00e8re standardis\u00e9e de repr\u00e9senter les expressions logiques en logique propositionnelle. Les deux plus courantes sont la Forme Normale Disjonctive (FND) et la Forme Normale Conjonctive (FNC).","twitter_image":"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2021\/04\/algoritmofndfnc.jpg","twitter_creator":"@topuranos","twitter_site":"@topuranos","twitter_misc":{"Escrito por":"giorgio.reveco","Tiempo de lectura":"6 minutos"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"Article","@id":"http:\/\/toposuranos.com\/material\/fr\/algorithme-de-forme-normale-et-applications\/#article","isPartOf":{"@id":"http:\/\/toposuranos.com\/material\/fr\/algorithme-de-forme-normale-et-applications\/"},"author":{"name":"giorgio.reveco","@id":"http:\/\/toposuranos.com\/material\/#\/schema\/person\/e15164361c3f9a2a02cf6c234cf7fdc1"},"headline":"Algorithme de Forme Normale et Applications","datePublished":"2021-04-21T13:00:15+00:00","dateModified":"2024-09-15T00:44:01+00:00","mainEntityOfPage":{"@id":"http:\/\/toposuranos.com\/material\/fr\/algorithme-de-forme-normale-et-applications\/"},"wordCount":1244,"commentCount":0,"publisher":{"@id":"http:\/\/toposuranos.com\/material\/#organization"},"image":{"@id":"http:\/\/toposuranos.com\/material\/fr\/algorithme-de-forme-normale-et-applications\/#primaryimage"},"thumbnailUrl":"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2021\/04\/algoritmofndfnc.jpg","articleSection":["Logique Math\u00e9matique","Logique Propositionnelle","Math\u00e9matiques"],"inLanguage":"es","potentialAction":[{"@type":"CommentAction","name":"Comment","target":["http:\/\/toposuranos.com\/material\/fr\/algorithme-de-forme-normale-et-applications\/#respond"]}]},{"@type":"WebPage","@id":"http:\/\/toposuranos.com\/material\/fr\/algorithme-de-forme-normale-et-applications\/","url":"http:\/\/toposuranos.com\/material\/fr\/algorithme-de-forme-normale-et-applications\/","name":"Algorithme de Forme Normale et Applications - toposuranos.com\/material","isPartOf":{"@id":"http:\/\/toposuranos.com\/material\/#website"},"primaryImageOfPage":{"@id":"http:\/\/toposuranos.com\/material\/fr\/algorithme-de-forme-normale-et-applications\/#primaryimage"},"image":{"@id":"http:\/\/toposuranos.com\/material\/fr\/algorithme-de-forme-normale-et-applications\/#primaryimage"},"thumbnailUrl":"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2021\/04\/algoritmofndfnc.jpg","datePublished":"2021-04-21T13:00:15+00:00","dateModified":"2024-09-15T00:44:01+00:00","description":"Une Forme Normale est une mani\u00e8re standardis\u00e9e de repr\u00e9senter les expressions logiques en logique propositionnelle. Les deux plus courantes sont la Forme Normale Disjonctive (FND) et la Forme Normale Conjonctive (FNC).","breadcrumb":{"@id":"http:\/\/toposuranos.com\/material\/fr\/algorithme-de-forme-normale-et-applications\/#breadcrumb"},"inLanguage":"es","potentialAction":[{"@type":"ReadAction","target":["http:\/\/toposuranos.com\/material\/fr\/algorithme-de-forme-normale-et-applications\/"]}]},{"@type":"ImageObject","inLanguage":"es","@id":"http:\/\/toposuranos.com\/material\/fr\/algorithme-de-forme-normale-et-applications\/#primaryimage","url":"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2021\/04\/algoritmofndfnc.jpg","contentUrl":"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2021\/04\/algoritmofndfnc.jpg","width":1792,"height":1024},{"@type":"BreadcrumbList","@id":"http:\/\/toposuranos.com\/material\/fr\/algorithme-de-forme-normale-et-applications\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Portada","item":"http:\/\/toposuranos.com\/material\/es\/cursos-de-matematica-y-fisica\/"},{"@type":"ListItem","position":2,"name":"Algorithme de Forme Normale et Applications"}]},{"@type":"WebSite","@id":"http:\/\/toposuranos.com\/material\/#website","url":"http:\/\/toposuranos.com\/material\/","name":"toposuranos.com\/material","description":"","publisher":{"@id":"http:\/\/toposuranos.com\/material\/#organization"},"potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"http:\/\/toposuranos.com\/material\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"es"},{"@type":"Organization","@id":"http:\/\/toposuranos.com\/material\/#organization","name":"toposuranos.com\/material","url":"http:\/\/toposuranos.com\/material\/","logo":{"@type":"ImageObject","inLanguage":"es","@id":"http:\/\/toposuranos.com\/material\/#\/schema\/logo\/image\/","url":"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2023\/10\/logo.png","contentUrl":"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2023\/10\/logo.png","width":2400,"height":2059,"caption":"toposuranos.com\/material"},"image":{"@id":"http:\/\/toposuranos.com\/material\/#\/schema\/logo\/image\/"},"sameAs":["https:\/\/www.facebook.com\/groups\/toposuranos","https:\/\/x.com\/topuranos","https:\/\/www.youtube.com\/channel\/UC16yDm12cPcrwsE0fAM7X1g","https:\/\/www.linkedin.com\/company\/69429190"]},{"@type":"Person","@id":"http:\/\/toposuranos.com\/material\/#\/schema\/person\/e15164361c3f9a2a02cf6c234cf7fdc1","name":"giorgio.reveco","image":{"@type":"ImageObject","inLanguage":"es","@id":"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2023\/10\/1694478625378-96x96.jpeg","url":"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2023\/10\/1694478625378-96x96.jpeg","contentUrl":"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2023\/10\/1694478625378-96x96.jpeg","caption":"giorgio.reveco"},"description":"Soy Licenciado en F\u00edsica, Magister en Ingenier\u00eda Industrial y Docente Universitario. Me dedico a desmitificar la f\u00edsica y las matem\u00e1ticas. Mi objetivo es hacer que estos campos sean f\u00e1cilmente comprensibles para todos, proporcionando las herramientas para explorar no solo el mundo que nos rodea, sino tambi\u00e9n las profundidades de nuestra propia existencia y el orden natural que nos conecta con el cosmos.","sameAs":["http:\/\/toposuranos.com\/material"],"url":"http:\/\/toposuranos.com\/material\/author\/giorgio-reveco\/"}]}},"_links":{"self":[{"href":"http:\/\/toposuranos.com\/material\/wp-json\/wp\/v2\/posts\/28416","targetHints":{"allow":["GET"]}}],"collection":[{"href":"http:\/\/toposuranos.com\/material\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"http:\/\/toposuranos.com\/material\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"http:\/\/toposuranos.com\/material\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"http:\/\/toposuranos.com\/material\/wp-json\/wp\/v2\/comments?post=28416"}],"version-history":[{"count":0,"href":"http:\/\/toposuranos.com\/material\/wp-json\/wp\/v2\/posts\/28416\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"http:\/\/toposuranos.com\/material\/wp-json\/wp\/v2\/media\/28401"}],"wp:attachment":[{"href":"http:\/\/toposuranos.com\/material\/wp-json\/wp\/v2\/media?parent=28416"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/toposuranos.com\/material\/wp-json\/wp\/v2\/categories?post=28416"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/toposuranos.com\/material\/wp-json\/wp\/v2\/tags?post=28416"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}