{"id":28299,"date":"2021-04-18T13:00:07","date_gmt":"2021-04-18T13:00:07","guid":{"rendered":"http:\/\/toposuranos.com\/material\/?p=28299"},"modified":"2024-09-04T19:16:24","modified_gmt":"2024-09-04T19:16:24","slug":"formas-normales-y-sus-propiedades","status":"publish","type":"post","link":"https:\/\/toposuranos.com\/material\/es\/formas-normales-y-sus-propiedades\/","title":{"rendered":"Formas Normales y sus Propiedades"},"content":{"rendered":"<p><center><\/p>\n<h1>Formas Normales y sus Propiedades<\/h1>\n<p><\/p>\n<p style=\"text-align:center;\"><strong>RESUMEN<\/strong><br \/><em>La l\u00f3gica proposicional es una herramienta fundamental en la matem\u00e1tica y la inform\u00e1tica. En esta clase, se presentar\u00e1 un resultado interesante y \u00fatil relacionado con las formas normales. Para ello, se definir\u00e1n los conceptos de literal, forma normal conjuntiva (FNC) y forma normal disyuntiva (FND). Adem\u00e1s, se demostrar\u00e1 el teorema de las formas normales, que establece que todas las expresiones de la l\u00f3gica proposicional son equivalentes a una expresi\u00f3n en FND y otra en FNC. La demostraci\u00f3n se realizar\u00e1 por inducci\u00f3n sobre la complejidad de las f\u00f3rmulas, lo que permitir\u00e1 establecer que todas las expresiones de la l\u00f3gica proposicional se pueden escribir en FND y FNC. Esta clase resultar\u00e1 de gran utilidad para comprender los fundamentos de la l\u00f3gica proposicional y aplicarlos en diversas \u00e1reas del conocimiento.<\/em><\/p>\n<p>\t<\/center><br \/>\n\t<\/p>\n<p style=\"text-align:center;\"><strong>OBJETIVOS DE APRENDIZAJE:<\/strong><br \/>\n\tAl finalizar esta clase, el estudiante ser\u00e1 capaz de:\n\t<\/p>\n<ol>\n<li><strong>Recordar<\/strong> la definici\u00f3n de literal y de las formas normales conjuntivas y disyuntivas.<\/li>\n<li><strong>Identificar<\/strong> las estructuras de una expresi\u00f3n en FNC y FND.<\/li>\n<li><strong>Utilizar<\/strong> FNC o FND para simplificar expresiones de la l\u00f3gica proposicional.<\/li>\n<\/ol>\n<p style=\"text-align:center;\"><strong>\u00cdNDICE<\/strong><br \/>\n\t<a href=\"#1\">DEFINICI\u00d3N DE LITERAL<\/a><br \/>\n\t<a href=\"#2\">DEFINICI\u00d3N DE FORMAS NORMALES<\/a><br \/>\n\t<a href=\"#3\">TEOREMA DE LAS FORMAS NORMALES<\/a><\/p>\n<p>\t<center><iframe class=\"lazyload\" width=\"560\" height=\"315\" data-src=\"https:\/\/www.youtube.com\/embed\/CrTcmmE4Q6c\" 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;\">Un resultado interesante y \u00fatil de la l\u00f3gica proposicional est\u00e1 relacionado con las formas normales. Para detallar en estas cosas necesitamos primero revisar algunos conceptos.<\/p>\n<p>\t<a name=\"1\"><\/a><\/p>\n<h2>Definici\u00f3n de Literal<\/h2>\n<p style=\"text-align: justify;\"><a href=\"https:\/\/www.youtube.com\/watch?v=CrTcmmE4Q6c&amp;t=309s\" target=\"_blank\" rel=\"noopener\"><strong>Un literal es cualquier<\/strong><\/a> expresi\u00f3n at\u00f3mica o la negaci\u00f3n de una expresi\u00f3n at\u00f3mica. En funci\u00f3n de esto, hablamos de literales negativos o positivos seg\u00fan sean expresiones at\u00f3micas precedidas o no por una negaci\u00f3n. Por ejemplo: <span class=\"katex-eq\" data-katex-display=\"false\">A<\/span> ser\u00eda un literal positivo y <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\neg A<\/span><\/span> ser\u00eda un literal negativo.<\/p>\n<p>\t<a name=\"2\"><\/a><\/p>\n<h2>Definici\u00f3n de Formas Normales<\/h2>\n<p style=\"text-align: justify;\"><a href=\"https:\/\/www.youtube.com\/watch?v=CrTcmmE4Q6c&amp;t=337s\" target=\"_blank\" rel=\"noopener\"><strong>Una expresi\u00f3n <span class=\"katex-eq\" data-katex-display=\"false\">F<\/span> est\u00e1 en forma normal<\/strong><\/a> conjuntiva (FNC) cuando se puede escribir como una conjuntoria de la disyuntoria de literales, es decir:<\/p>\n<p style=\"text-align: justify;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\displaystyle F=\\bigwedge_{i=1}^n \\left( \\bigvee_{j=1}^m L_{ij}\\right)<\/span><\/span><\/p>\n<p style=\"text-align: justify;\">Y an\u00e1logamente, se tendr\u00e1 una forma normal disyuntiva (FND) si se escribe como la disyuntoria de la conjuntoria de literales<\/p>\n<p style=\"text-align: justify;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\displaystyle F=\\bigvee_{i=1}^n \\left(\\bigwedge_{j=1}^m L_{ij}\\right)<\/span><\/span><\/p>\n<p>\t<a name=\"3\"><\/a><\/p>\n<h2>Teorema de las Formas Normales<\/h2>\n<p style=\"text-align: justify;\"><a href=\"https:\/\/www.youtube.com\/watch?v=CrTcmmE4Q6c&amp;t=446s\" target=\"_blank\" rel=\"noopener\"><strong>Todas las expresiones de la l\u00f3gica proposicional<\/strong><\/a> son equivalentes a una expresi\u00f3n en FND y otra en FNC.<\/p>\n<p style=\"text-align: justify;\"><span style=\"color: #000080;\"><strong>DEMOSTRACI\u00d3N:<\/strong><\/span><\/p>\n<p style=\"text-align: justify;\">Esto se puede demostrar por inducci\u00f3n sobre la complejidad de las f\u00f3rmulas <span class=\"katex-eq\" data-katex-display=\"false\">F<\/span>.<\/p>\n<ul style=\"text-align: justify;\">\n<li><strong>Caso inicial:<\/strong> Si <span class=\"katex-eq\" data-katex-display=\"false\">F<\/span> es una expresi\u00f3n at\u00f3mica, entonces se puede escribir en FNC y FND al mismo tiempo porque: <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">F\\equiv F_D \\equiv F_C<\/span><\/span>, donde <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">F_C:=((F\\vee F)\\wedge (F\\vee F)) <\/span><\/span> y <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">F_D:=((F\\wedge F)\\vee (F\\wedge F)) <\/span><\/span><\/li>\n<li><strong>Paso inductivo:<\/strong> Sean <span class=\"katex-eq\" data-katex-display=\"false\">G<\/span> y <span class=\"katex-eq\" data-katex-display=\"false\">H<\/span> dos expresiones cualesquiera para las que se cumple el resultado del teorema; es decir, que existen <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">H_C<\/span><\/span> y <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">G_C<\/span><\/span> en FNC, y <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">H_D<\/span><\/span> y <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">G_D<\/span><\/span> en FND tales que\n<p style=\"text-align: justify;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">G\\equiv G_D \\equiv G_D<\/span><\/span><\/p>\n<p style=\"text-align: justify;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">H\\equiv H_D \\equiv H_D<\/span><\/span><\/p>\n<p>\tAs\u00ed que podemos escribir:<\/p>\n<p style=\"text-align: justify;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\displaystyle G_D := \\bigvee_{i=1}^n \\bigwedge_{j=1}^m L_{ij}^{GD}<\/span><\/span> ; <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\displaystyle G_C := \\bigwedge_{i=1}^n \\bigvee_{j=1}^m L_{ij}^{GC}<\/span><\/span><\/p>\n<p style=\"text-align: justify;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\displaystyle H_D := \\bigvee_{i=1}^n \\bigwedge_{j=1}^m L_{ij}^{HD}<\/span><\/span> ; <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\displaystyle H_C := \\bigwedge_{i=1}^n \\bigvee_{j=1}^m L_{ij}^{HC}<\/span><\/span><\/p>\n<p>\tSin p\u00e9rdida de generalidad podemos ver que si <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">F:= \\neg G<\/span><\/span>, entonces utilizando el <strong>teorema de sustituci\u00f3n<\/strong> sobre las <strong>leyes generalizadas de De Morgan<\/strong> se tendr\u00e1 que:<\/p>\n<p style=\"text-align: justify;\"><span class=\"katex-eq\" data-katex-display=\"false\">\\displaystyle F:= \\neg G \\equiv \\left\\{ \\begin{matrix}\n\n\t\\neg G_D := \\neg \\bigvee_{i=1}^n \\bigwedge_{j=1}^m L_{ij}^{GD} \\equiv\\bigwedge_{i=1}^n \\neg \\bigwedge_{j=1}^m L_{ij}^{GD} \\equiv \\bigwedge_{i=1}^n \\bigvee_{j=1}^m \\neg L_{ij}^{GD} \\\\ \\\\ \\neg G_C := \\neg \\bigwedge_{i=1}^n \\bigvee_{j=1}^m L_{ij}^{GC} \\equiv \\bigvee_{i=1}^n \\neg \\bigvee_{j=1}^m L_{ij}^{GC} \\equiv \\bigvee_{i=1}^n \\bigwedge_{j=1}^m \\neg L_{ij}^{GC} \\end{matrix}\\right. <\/span>\n<p>\tPor otro lado, si <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">F:=G\\wedge H<\/span><\/span> se tendr\u00e1 que, por el teorema de sustituci\u00f3n:<\/p>\n<p style=\"text-align: justify;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\displaystyle F:=G\\wedge H \\equiv G_C \\wedge H_C := \\bigwedge_{i=1}^n \\bigvee_{j=1}^m L_{ij}^{GC} \\wedge \\bigwedge_{i=1}^{n^\\prime} \\bigvee_{j=1}^{m^\\prime} L_{ij}^{HC} <\/span><\/span><\/p>\n<p>\tque es una forma normal conjuntiva. Y de modo completamente an\u00e1logo se tendr\u00e1 que, si <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">F:=H\\vee G,<\/span><\/span> entonces:<\/p>\n<p style=\"text-align: justify;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\displaystyle F:=G\\wedge H \\equiv G_D \\vee H_D := \\bigvee_{i=1}^n \\bigwedge_{j=1}^m L_{ij}^{GD} \\vee \\bigvee_{i=1}^{\\overline{n}} \\bigwedge_{j=1}^{\\overline{m}} L_{ij}^{HD} <\/span><\/span><\/p>\n<p>\tes decir, una forma normal disyuntiva.<\/p>\n<p>\tPor lo tanto, la inducci\u00f3n es completa y todas las expresiones de la l\u00f3gica proposicional se pueden escribir en FND y FNC.<\/li>\n<\/ul>\n<p style=\"text-align: justify;\">El estudio de las formas normales conjuntiva (FNC) y disyuntiva (FND) de la l\u00f3gica proposicional es fundamental para la simplificaci\u00f3n y resoluci\u00f3n de problemas complejos en matem\u00e1ticas e inform\u00e1tica. El teorema que establece que cualquier expresi\u00f3n l\u00f3gica puede escribirse tanto en FND como en FNC es de gran relevancia, ya que permite estructurar las proposiciones de manera m\u00e1s manejable y estandarizada, facilitando as\u00ed su an\u00e1lisis y manipulaci\u00f3n. La importancia de este resultado radica en que proporciona una base s\u00f3lida para el dise\u00f1o de algoritmos, la optimizaci\u00f3n de expresiones l\u00f3gicas y la resoluci\u00f3n eficiente de problemas en diversas \u00e1reas del conocimiento, como la inteligencia artificial y la verificaci\u00f3n de software. Adem\u00e1s, la t\u00e9cnica de demostraci\u00f3n por inducci\u00f3n utilizada para probar este teorema refuerza la comprensi\u00f3n de las propiedades fundamentales de las expresiones l\u00f3gicas y su aplicabilidad en otros contextos matem\u00e1ticos.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Formas Normales y sus Propiedades RESUMENLa l\u00f3gica proposicional es una herramienta fundamental en la matem\u00e1tica y la inform\u00e1tica. En esta clase, se presentar\u00e1 un resultado interesante y \u00fatil relacionado con las formas normales. Para ello, se definir\u00e1n los conceptos de literal, forma normal conjuntiva (FNC) y forma normal disyuntiva (FND). Adem\u00e1s, se demostrar\u00e1 el teorema [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":28305,"comment_status":"open","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"iawp_total_views":73,"footnotes":""},"categories":[600,602,563],"tags":[],"class_list":["post-28299","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-logica-matematica","category-logica-proposicional","category-matematica"],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v27.4 - https:\/\/yoast.com\/product\/yoast-seo-wordpress\/ -->\n<title>Formas Normales y sus Propiedades - toposuranos.com\/material<\/title>\n<meta name=\"description\" content=\"Una forma normal es una estructura l\u00f3gica estandarizada que simplifica las expresiones proposicionales en matem\u00e1ticas e inform\u00e1tica.\" \/>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/toposuranos.com\/material\/es\/formas-normales-y-sus-propiedades\/\" \/>\n<meta property=\"og:locale\" content=\"es_ES\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Formas Normales y sus Propiedades\" \/>\n<meta property=\"og:description\" content=\"Una forma normal es una estructura l\u00f3gica estandarizada que simplifica las expresiones proposicionales en matem\u00e1ticas e inform\u00e1tica.\" \/>\n<meta property=\"og:url\" content=\"https:\/\/toposuranos.com\/material\/es\/formas-normales-y-sus-propiedades\/\" \/>\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-18T13:00:07+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2024-09-04T19:16:24+00:00\" \/>\n<meta property=\"og:image\" content=\"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2024\/09\/formanormal.jpg\" \/>\n\t<meta property=\"og:image:width\" content=\"1792\" \/>\n\t<meta property=\"og:image:height\" content=\"1024\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/jpeg\" \/>\n<meta name=\"author\" content=\"giorgio.reveco\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:title\" content=\"Formas Normales y sus Propiedades\" \/>\n<meta name=\"twitter:description\" content=\"Una forma normal es una estructura l\u00f3gica estandarizada que simplifica las expresiones proposicionales en matem\u00e1ticas e inform\u00e1tica.\" \/>\n<meta name=\"twitter:image\" content=\"https:\/\/toposuranos.com\/material\/wp-content\/uploads\/2024\/09\/formanormal.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=\"4 minutos\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\\\/\\\/schema.org\",\"@graph\":[{\"@type\":\"Article\",\"@id\":\"https:\\\/\\\/toposuranos.com\\\/material\\\/es\\\/formas-normales-y-sus-propiedades\\\/#article\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/toposuranos.com\\\/material\\\/es\\\/formas-normales-y-sus-propiedades\\\/\"},\"author\":{\"name\":\"giorgio.reveco\",\"@id\":\"https:\\\/\\\/toposuranos.com\\\/material\\\/#\\\/schema\\\/person\\\/e15164361c3f9a2a02cf6c234cf7fdc1\"},\"headline\":\"Formas Normales y sus Propiedades\",\"datePublished\":\"2021-04-18T13:00:07+00:00\",\"dateModified\":\"2024-09-04T19:16:24+00:00\",\"mainEntityOfPage\":{\"@id\":\"https:\\\/\\\/toposuranos.com\\\/material\\\/es\\\/formas-normales-y-sus-propiedades\\\/\"},\"wordCount\":1032,\"commentCount\":0,\"publisher\":{\"@id\":\"https:\\\/\\\/toposuranos.com\\\/material\\\/#organization\"},\"image\":{\"@id\":\"https:\\\/\\\/toposuranos.com\\\/material\\\/es\\\/formas-normales-y-sus-propiedades\\\/#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/toposuranos.com\\\/material\\\/wp-content\\\/uploads\\\/2024\\\/09\\\/formanormal.jpg\",\"articleSection\":[\"L\u00f3gica Matem\u00e1tica\",\"L\u00f3gica Proposicional\",\"Matem\u00e1tica\"],\"inLanguage\":\"es\",\"potentialAction\":[{\"@type\":\"CommentAction\",\"name\":\"Comment\",\"target\":[\"https:\\\/\\\/toposuranos.com\\\/material\\\/es\\\/formas-normales-y-sus-propiedades\\\/#respond\"]}]},{\"@type\":\"WebPage\",\"@id\":\"https:\\\/\\\/toposuranos.com\\\/material\\\/es\\\/formas-normales-y-sus-propiedades\\\/\",\"url\":\"https:\\\/\\\/toposuranos.com\\\/material\\\/es\\\/formas-normales-y-sus-propiedades\\\/\",\"name\":\"Formas Normales y sus Propiedades - toposuranos.com\\\/material\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/toposuranos.com\\\/material\\\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\\\/\\\/toposuranos.com\\\/material\\\/es\\\/formas-normales-y-sus-propiedades\\\/#primaryimage\"},\"image\":{\"@id\":\"https:\\\/\\\/toposuranos.com\\\/material\\\/es\\\/formas-normales-y-sus-propiedades\\\/#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/toposuranos.com\\\/material\\\/wp-content\\\/uploads\\\/2024\\\/09\\\/formanormal.jpg\",\"datePublished\":\"2021-04-18T13:00:07+00:00\",\"dateModified\":\"2024-09-04T19:16:24+00:00\",\"description\":\"Una forma normal es una estructura l\u00f3gica estandarizada que simplifica las expresiones proposicionales en matem\u00e1ticas e inform\u00e1tica.\",\"breadcrumb\":{\"@id\":\"https:\\\/\\\/toposuranos.com\\\/material\\\/es\\\/formas-normales-y-sus-propiedades\\\/#breadcrumb\"},\"inLanguage\":\"es\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\\\/\\\/toposuranos.com\\\/material\\\/es\\\/formas-normales-y-sus-propiedades\\\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"es\",\"@id\":\"https:\\\/\\\/toposuranos.com\\\/material\\\/es\\\/formas-normales-y-sus-propiedades\\\/#primaryimage\",\"url\":\"https:\\\/\\\/toposuranos.com\\\/material\\\/wp-content\\\/uploads\\\/2024\\\/09\\\/formanormal.jpg\",\"contentUrl\":\"https:\\\/\\\/toposuranos.com\\\/material\\\/wp-content\\\/uploads\\\/2024\\\/09\\\/formanormal.jpg\",\"width\":1792,\"height\":1024},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\\\/\\\/toposuranos.com\\\/material\\\/es\\\/formas-normales-y-sus-propiedades\\\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Portada\",\"item\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/es\\\/cursos-de-matematica-y-fisica\\\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Formas Normales y sus Propiedades\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\\\/\\\/toposuranos.com\\\/material\\\/#website\",\"url\":\"https:\\\/\\\/toposuranos.com\\\/material\\\/\",\"name\":\"toposuranos.com\\\/material\",\"description\":\"\",\"publisher\":{\"@id\":\"https:\\\/\\\/toposuranos.com\\\/material\\\/#organization\"},\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\\\/\\\/toposuranos.com\\\/material\\\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"es\"},{\"@type\":\"Organization\",\"@id\":\"https:\\\/\\\/toposuranos.com\\\/material\\\/#organization\",\"name\":\"toposuranos.com\\\/material\",\"url\":\"https:\\\/\\\/toposuranos.com\\\/material\\\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"es\",\"@id\":\"https:\\\/\\\/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\":\"https:\\\/\\\/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\":\"https:\\\/\\\/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\":\"https:\\\/\\\/toposuranos.com\\\/material\\\/author\\\/giorgio-reveco\\\/\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"Formas Normales y sus Propiedades - toposuranos.com\/material","description":"Una forma normal es una estructura l\u00f3gica estandarizada que simplifica las expresiones proposicionales en matem\u00e1ticas e inform\u00e1tica.","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":"https:\/\/toposuranos.com\/material\/es\/formas-normales-y-sus-propiedades\/","og_locale":"es_ES","og_type":"article","og_title":"Formas Normales y sus Propiedades","og_description":"Una forma normal es una estructura l\u00f3gica estandarizada que simplifica las expresiones proposicionales en matem\u00e1ticas e inform\u00e1tica.","og_url":"https:\/\/toposuranos.com\/material\/es\/formas-normales-y-sus-propiedades\/","og_site_name":"toposuranos.com\/material","article_publisher":"https:\/\/www.facebook.com\/groups\/toposuranos","article_published_time":"2021-04-18T13:00:07+00:00","article_modified_time":"2024-09-04T19:16:24+00:00","og_image":[{"width":1792,"height":1024,"url":"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2024\/09\/formanormal.jpg","type":"image\/jpeg"}],"author":"giorgio.reveco","twitter_card":"summary_large_image","twitter_title":"Formas Normales y sus Propiedades","twitter_description":"Una forma normal es una estructura l\u00f3gica estandarizada que simplifica las expresiones proposicionales en matem\u00e1ticas e inform\u00e1tica.","twitter_image":"https:\/\/toposuranos.com\/material\/wp-content\/uploads\/2024\/09\/formanormal.jpg","twitter_creator":"@topuranos","twitter_site":"@topuranos","twitter_misc":{"Escrito por":"giorgio.reveco","Tiempo de lectura":"4 minutos"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"Article","@id":"https:\/\/toposuranos.com\/material\/es\/formas-normales-y-sus-propiedades\/#article","isPartOf":{"@id":"https:\/\/toposuranos.com\/material\/es\/formas-normales-y-sus-propiedades\/"},"author":{"name":"giorgio.reveco","@id":"https:\/\/toposuranos.com\/material\/#\/schema\/person\/e15164361c3f9a2a02cf6c234cf7fdc1"},"headline":"Formas Normales y sus Propiedades","datePublished":"2021-04-18T13:00:07+00:00","dateModified":"2024-09-04T19:16:24+00:00","mainEntityOfPage":{"@id":"https:\/\/toposuranos.com\/material\/es\/formas-normales-y-sus-propiedades\/"},"wordCount":1032,"commentCount":0,"publisher":{"@id":"https:\/\/toposuranos.com\/material\/#organization"},"image":{"@id":"https:\/\/toposuranos.com\/material\/es\/formas-normales-y-sus-propiedades\/#primaryimage"},"thumbnailUrl":"https:\/\/toposuranos.com\/material\/wp-content\/uploads\/2024\/09\/formanormal.jpg","articleSection":["L\u00f3gica Matem\u00e1tica","L\u00f3gica Proposicional","Matem\u00e1tica"],"inLanguage":"es","potentialAction":[{"@type":"CommentAction","name":"Comment","target":["https:\/\/toposuranos.com\/material\/es\/formas-normales-y-sus-propiedades\/#respond"]}]},{"@type":"WebPage","@id":"https:\/\/toposuranos.com\/material\/es\/formas-normales-y-sus-propiedades\/","url":"https:\/\/toposuranos.com\/material\/es\/formas-normales-y-sus-propiedades\/","name":"Formas Normales y sus Propiedades - toposuranos.com\/material","isPartOf":{"@id":"https:\/\/toposuranos.com\/material\/#website"},"primaryImageOfPage":{"@id":"https:\/\/toposuranos.com\/material\/es\/formas-normales-y-sus-propiedades\/#primaryimage"},"image":{"@id":"https:\/\/toposuranos.com\/material\/es\/formas-normales-y-sus-propiedades\/#primaryimage"},"thumbnailUrl":"https:\/\/toposuranos.com\/material\/wp-content\/uploads\/2024\/09\/formanormal.jpg","datePublished":"2021-04-18T13:00:07+00:00","dateModified":"2024-09-04T19:16:24+00:00","description":"Una forma normal es una estructura l\u00f3gica estandarizada que simplifica las expresiones proposicionales en matem\u00e1ticas e inform\u00e1tica.","breadcrumb":{"@id":"https:\/\/toposuranos.com\/material\/es\/formas-normales-y-sus-propiedades\/#breadcrumb"},"inLanguage":"es","potentialAction":[{"@type":"ReadAction","target":["https:\/\/toposuranos.com\/material\/es\/formas-normales-y-sus-propiedades\/"]}]},{"@type":"ImageObject","inLanguage":"es","@id":"https:\/\/toposuranos.com\/material\/es\/formas-normales-y-sus-propiedades\/#primaryimage","url":"https:\/\/toposuranos.com\/material\/wp-content\/uploads\/2024\/09\/formanormal.jpg","contentUrl":"https:\/\/toposuranos.com\/material\/wp-content\/uploads\/2024\/09\/formanormal.jpg","width":1792,"height":1024},{"@type":"BreadcrumbList","@id":"https:\/\/toposuranos.com\/material\/es\/formas-normales-y-sus-propiedades\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Portada","item":"http:\/\/toposuranos.com\/material\/es\/cursos-de-matematica-y-fisica\/"},{"@type":"ListItem","position":2,"name":"Formas Normales y sus Propiedades"}]},{"@type":"WebSite","@id":"https:\/\/toposuranos.com\/material\/#website","url":"https:\/\/toposuranos.com\/material\/","name":"toposuranos.com\/material","description":"","publisher":{"@id":"https:\/\/toposuranos.com\/material\/#organization"},"potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/toposuranos.com\/material\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"es"},{"@type":"Organization","@id":"https:\/\/toposuranos.com\/material\/#organization","name":"toposuranos.com\/material","url":"https:\/\/toposuranos.com\/material\/","logo":{"@type":"ImageObject","inLanguage":"es","@id":"https:\/\/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":"https:\/\/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":"https:\/\/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":"https:\/\/toposuranos.com\/material\/author\/giorgio-reveco\/"}]}},"_links":{"self":[{"href":"https:\/\/toposuranos.com\/material\/wp-json\/wp\/v2\/posts\/28299","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/toposuranos.com\/material\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/toposuranos.com\/material\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/toposuranos.com\/material\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/toposuranos.com\/material\/wp-json\/wp\/v2\/comments?post=28299"}],"version-history":[{"count":0,"href":"https:\/\/toposuranos.com\/material\/wp-json\/wp\/v2\/posts\/28299\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/toposuranos.com\/material\/wp-json\/wp\/v2\/media\/28305"}],"wp:attachment":[{"href":"https:\/\/toposuranos.com\/material\/wp-json\/wp\/v2\/media?parent=28299"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/toposuranos.com\/material\/wp-json\/wp\/v2\/categories?post=28299"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/toposuranos.com\/material\/wp-json\/wp\/v2\/tags?post=28299"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}